Comparative metric semantics of programming languages : : nondeterminism and recursion - Breugel, Franck van (Progress in theoretical computer science / editor Ronald V. Book, 1998)