APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

Socher, Rolf, und Patricia Johann. Deduction Systems. New York: Springer, 1997.

MLA-Zitierstil (9. Ausg.)

Socher, Rolf, und Patricia Johann. Deduction Systems. Springer, 1997.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.