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

Drechsler, R., Eggersglüβ, S., Fey, G., & Tille, D. (2009). Test Pattern Generation using Boolean Proof Engines. Springer Netherlands.

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

Drechsler, Rolf, Stephan Eggersglüβ, Görschwin Fey, και Daniel Tille. Test Pattern Generation Using Boolean Proof Engines. Dordrecht: Springer Netherlands, 2009.

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

Drechsler, Rolf, et al. Test Pattern Generation Using Boolean Proof Engines. Springer Netherlands, 2009.