Partial correctness of communicating processes and protocols - Zhou, Chaochen 1937-; Hoare, Charles A. R. 1934- (Technical monograph PRG, 1981)