Roscoe, A. (1993). Developing and verifying protocols in CSP. TU Eindhoven.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Roscoe, A. Developing and Verifying Protocols in CSP. TU Eindhoven, 1993.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Roscoe, A. Developing and Verifying Protocols in CSP. TU Eindhoven, 1993.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.