Chaochen, Z., & Hoare, C. (2015). Partial Correctness of Communicating Sequential Processes. IEEE.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Chaochen, Z., و C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Chaochen, Z., و C. Hoare. Partial Correctness of Communicating Sequential Processes. IEEE, 2015.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.