Semantics of probabilistic programs (1981)

by Dexter Kozen
Venue:Journal of Computer and System Sciences