Semantics of probabilistic programs (1981)

by D Kozen
Venue:Journal of Computer and System Sciences