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

Socher-Ambrosius, R., & Johann, P. (1997). Deduction systems. Springer.

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

Socher-Ambrosius, Rolf, και Patricia Johann. Deduction Systems. New York: Springer, 1997.

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

Socher-Ambrosius, Rolf, και Patricia Johann. Deduction Systems. Springer, 1997.