A guide to communicating sequential processes - Kuo, Shan S. (Technical monograph (Oxford University Computing Laboratory. Programming Research Group), 1978)