Hoare, C., & Chaochen, Z. (1981). Partial Correctness of Communicating Processes and Protocols. Oxford University Computing Laboratory‚ Programming Research Group.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Hoare, C., و Z. Chaochen. Partial Correctness of Communicating Processes and Protocols. Oxford University Computing Laboratory‚ Programming Research Group, 1981.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Hoare, C., و Z. Chaochen. Partial Correctness of Communicating Processes and Protocols. Oxford University Computing Laboratory‚ Programming Research Group, 1981.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.