Probabilistic predicate transformers (1996)

by C C Morgan, A K McIver, K Seidel
Venue:ACM Transactions on Programming and Systems