Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Elsevier.
Čikaški stil citiranja (17. izdanje)Groce, A., i D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
MLA način citiranja (9. izdanje)Groce, A., i D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.