Semantics of probabilistic programs (1981)

by D Kozen
Venue:Journ. Comp. Syst. Sci