A. K.  Seda and Hitzler, P., ?Generalized Distance Functions in the Theory of Computation?, Computer Journal, vol. 53, pp. 443?464, 2010.