C++ toolbox for verified computing I basic numerical problems - Hammer, R. 1961- (Rolf). (Berlin Springer, 1995)
Keywords: C++ (Computer program language)