Hoare, C. (2002). Assertions in Programming: From Scientific Theory to Engineering Practice. Springer.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Hoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. Springer, 2002.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Hoare, C. Assertions in Programming: From Scientific Theory to Engineering Practice. Springer, 2002.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.