Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Elsevier.
Lua i Stíl Chicago (17ú heag.)Groce, A., agus D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
Lua MLA (9ú heag.)Groce, A., agus D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.