APA (7th ed.) Citation

Kulisch, U., Hammer, R., Ratz, D., & Hocks, M. (1993). Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Kulisch, Ulrich, Rolf Hammer, Dietmar Ratz, and Matthias Hocks. Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993.

MLA (9th ed.) Citation

Kulisch, Ulrich, et al. Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs. Springer Berlin Heidelberg, 1993.