Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.
Chicago-viite (17. p.)Chaochen, Z., ja C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
MLA-viite (9. p.)Chaochen, Z., ja C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.