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

[ACM] (1978) [ACM] JACM 25(03)March 1978  

Languages mentioned CSP {1978} Communicating Sequential Processes