A theory of communicating sequential processes - Hoare, Charles A. R. 1934-; Brookes, Stephen D.; Roscoe, A. W. (Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG, 1981)