Probabilistic predicate transformers (1996)

by C Morgan, A McIver, K Seidel
Venue:ACM Trans. Program. Lang. Syst