Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.
Čikaški stil citiranja (17. izdanje)Chaochen, Z., i C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
MLA način citiranja (9. izdanje)Chaochen, Z., i C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.