APA (7th ed.) Citation

Levin, G. M. (1980). Proof rules for communicating sequential processes.

Chicago Style (17th ed.) Citation

Levin, Gary M. Proof Rules for Communicating Sequential Processes. Ithaca, New York, 1980.

MLA (9th ed.) Citation

Levin, Gary M. Proof Rules for Communicating Sequential Processes. 1980.

Warning: These citations may not always be 100% accurate.