APA (7th ed.) Citation

Kulisch, U. (1993). Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs. Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-78423-1

Chicago Style (17th ed.) Citation

Kulisch, Ulrich. Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. https://doi.org/10.1007/978-3-642-78423-1.

MLA (9th ed.) Citation

Kulisch, Ulrich. Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs. Springer Berlin Heidelberg, 1993. https://doi.org/10.1007/978-3-642-78423-1.