Semantics of probabilistic programs (1981)

by D Kozen
Venue:J. Comp. System Sci