Probabilistic metric semantics for a simple language with recursion (1996)

by M Kwiatkowska, G Norman
Venue:Proc. Mathematical Foundations of Computer Science (MFCS), LNCS