Some properties of Predicate Transformers
C.A.R. Hoare
Journal
Journal of the ACM
Month
July
Number
3
Pages
461–80
Volume
25
Year
1978
C.A.R. Hoare