Hammer, R. (1995). C++ toolbox for verified computing I: Basic numerical problems. Springer.
Lua i Stíl Chicago (17ú heag.)Hammer, R. C++ Toolbox for Verified Computing I: Basic Numerical Problems. Berlin: Springer, 1995.
Lua MLA (9ú heag.)Hammer, R. C++ Toolbox for Verified Computing I: Basic Numerical Problems. Springer, 1995.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.