APA (7th ed.) Citation

Hammer, R. (1995). C++ toolbox for verified computing I: Basic numerical problems. Springer.

Chicago Style (17th ed.) Citation

Hammer, R. C++ Toolbox for Verified Computing I: Basic Numerical Problems. Berlin ; New York: Springer, 1995.

MLA (9th ed.) Citation

Hammer, R. C++ Toolbox for Verified Computing I: Basic Numerical Problems. Springer, 1995.