Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.
Чикаго стиль цитування (17-те видання)Chaochen, Z., та C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Стиль цитування MLA (9-ме видання)Chaochen, Z., та C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
Попередження: стилі цитування не завжди правильні на всі 100%.