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.

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.