Title: Comparative Metric Semantics of Programming Languages, Nondeterminism and Recursion (Progress in Theoretical Computer Science)