Hoare, C. (1999). Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Hoare, C. Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle. 1999.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Hoare, C. Theories of Programming: Top−Down and Bottom−Up and Meeting in the Middle. 1999.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.