Proof rules for communicating sequential processes - Levin, Gary M. (1980)
Zugl.: Ithaca, NY, Cornell Univ., Diss., 1980