Groce, A., & Kroening, D. (2005). Making the most of BMC counterexamples. Elsevier.
Чикаго стиль цитування (17-те видання)Groce, A., та D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
Стиль цитування MLA (9-ме видання)Groce, A., та D. Kroening. Making the Most of BMC Counterexamples. Elsevier, 2005.
Попередження: стилі цитування не завжди правильні на всі 100%.