APA (7th ed.) Citation

Hoare, C., & Chaochen, Z. (1981). Partial Correctness of Communicating Processes and Protocols. Oxford University Computing Laboratory‚ Programming Research Group.

Chicago Style (17th ed.) Citation

Hoare, C., and Z. Chaochen. Partial Correctness of Communicating Processes and Protocols. Oxford University Computing Laboratory‚ Programming Research Group, 1981.

MLA (9th ed.) Citation

Hoare, C., and Z. Chaochen. Partial Correctness of Communicating Processes and Protocols. Oxford University Computing Laboratory‚ Programming Research Group, 1981.

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