A Calculus of Total Correctness for Communicating Processes
C.A.R. Hoare
Journal
The Science of Computer Programming
Month
October
Number
1–2
Pages
49–72
Volume
1
Year
1981
C.A.R. Hoare