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

SpringerLink (Online service) & Drechsler, R. (2004). Advanced Formal Verification. Springer US.

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

SpringerLink (Online service) και Rolf Drechsler. Advanced Formal Verification. Boston, MA: Springer US, 2004.

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

SpringerLink (Online service) και Rolf Drechsler. Advanced Formal Verification. Springer US, 2004.