C++ toolbox for verified computing I : basic numerical problems - Hammer, R. (Berlin : Springer, 1995)
57