APA (7th ed.) Citation

IMA Participating Institutions Conference, Meyer, K. R., & Schmidt, D. S. (1991). Computer aided proofs in analysis. Springer-Verlag.

Chicago Style (17th ed.) Citation

IMA Participating Institutions Conference, Kenneth R. Meyer, and Dieter S. Schmidt. Computer Aided Proofs in Analysis. New York: Springer-Verlag, 1991.

MLA (9th ed.) Citation

IMA Participating Institutions Conference, et al. Computer Aided Proofs in Analysis. Springer-Verlag, 1991.