Boyer, R. S., & Moore, J. S. (1981). The correctness problem in computer science. Academic Press.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Boyer, Robert S., و J Strother Moore. The Correctness Problem in Computer Science. London: Academic Press, 1981.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Boyer, Robert S., و J Strother Moore. The Correctness Problem in Computer Science. Academic Press, 1981.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.