Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Elsevier.
Cita Chicago Style (17a ed.)Groce, A., y D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
Cita MLA (9a ed.)Groce, A., y D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
Precaución: Estas citas no son 100% exactas.