Comparative metric semantics of programming languages nondeterminism and recursion - Breugel, Franck van 1966- (Birkhauser, 1998)