Hoare, C., & Chaochen, Z. (1981). Partial Correctness of Communicating Processes and Protocols. Oxford University Computing Laboratory‚ Programming Research Group.
Lua i Stíl Chicago (17ú heag.)Hoare, C., agus Z. Chaochen. Partial Correctness of Communicating Processes and Protocols. Oxford University Computing Laboratory‚ Programming Research Group, 1981.
Lua MLA (9ú heag.)Hoare, C., agus Z. Chaochen. Partial Correctness of Communicating Processes and Protocols. Oxford University Computing Laboratory‚ Programming Research Group, 1981.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.