APA (7th ed.) Citation

Socher-Ambrosius, R., & Johann, P. (1997). Deduction Systems. Springer New York.

Chicago Style (17th ed.) Citation

Socher-Ambrosius, Rolf, and Patricia Johann. Deduction Systems. New York, NY: Springer New York, 1997.

MLA (9th ed.) Citation

Socher-Ambrosius, Rolf, and Patricia Johann. Deduction Systems. Springer New York, 1997.