Algebraic specification and proof of properties of communicating sequential processes - Hoare, Charles A. R. 1934-; He, Jifeng 1943- (Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG, 1985)