C. A. R. Hoare A Calculus of Total Correctness for Communicating Processes. 49-72 1981 1 Sci. Comput. Program. 1-2 db/journals/scp/scp1.html#Hoare81