Levin, G. M. (1980). Proof rules for communicating sequential processes.
Chicago-Zitierstil (17. Ausg.)Levin, Gary M. Proof Rules for Communicating Sequential Processes. Ithaca, New York, 1980.
MLA-Zitierstil (9. Ausg.)Levin, Gary M. Proof Rules for Communicating Sequential Processes. 1980.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.