Hoare, C. (2015). Satisfiability.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Hoare, C. Satisfiability. 2015.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Hoare, C. Satisfiability. 2015.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.
توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)