Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems (Logical Methods in Computer Science, 2008)