APA-Zitierstil (7. Ausg.)

Levin, G. M. (1979). A proof technique for communicating sequential processes: (with an example).

Chicago-Zitierstil (17. Ausg.)

Levin, Gary M. A Proof Technique for Communicating Sequential Processes: (with an Example). Ithaca, New York, 1979.

MLA-Zitierstil (9. Ausg.)

Levin, Gary M. A Proof Technique for Communicating Sequential Processes: (with an Example). 1979.