Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Elsevier.
Chicago Style (17. basım) AtıfGroce, A., ve D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
MLA (9th ed.) AtıfGroce, A., ve D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..