Partial Correctness of Communicating Processes and Protocols - Hoare, C; Chaochen, Z (Oxford University Computing Laboratory‚ Programming Research Group, 1981)