Bolton, C., & Davies, J. (2002). Refinement in Object−Z and CSP.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Bolton, C., و J. Davies. Refinement in Object−Z and CSP. 2002.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Bolton, C., و J. Davies. Refinement in Object−Z and CSP. 2002.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.