Proof rules for communicating sequential processes - Levin, Gary M. (Cornell University <Ithaca, NY> / Department of Computer Science: Technical report, 1980)