[ACM] JACM 25(03)March 1978

[ACM] [ACM] JACM  

Hoare, C A R (1978) Hoare, C A R "Some Properties of Predicate Transformers" pp461-480