Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Elsevier.
Chicago-čujuhus (17. p.)Groce, A., juo D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
MLA-čujuhus (9. p.)Groce, A., juo D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.