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