Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Elsevier.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Groce, A., و D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Groce, A., و D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.