Some Properties of Predicate Transformers (1978)

by C A R Hoare
Venue:Journal of the ACM