APA (7th ed.) Citation

Meyer, K. R., & Schmidt, D. S. (1991). Computer Aided Proofs in Analysis. Springer New York.

Chicago Style (17th ed.) Citation

Meyer, Kenneth R., and Dieter S. Schmidt. Computer Aided Proofs in Analysis. New York, NY: Springer New York, 1991.

MLA (9th ed.) Citation

Meyer, Kenneth R., and Dieter S. Schmidt. Computer Aided Proofs in Analysis. Springer New York, 1991.