Παραπομπή σε μορφή APA (7η εκδ.)

Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Elsevier.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Groce, A., και D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.

Παραπομπή σε μορφή MLA (9th εκδ.)

Groce, A., και D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.