C++ toolbox for verified computing: theory, algorithms and programs - Hammer R and REFs (Berlin Springer Verlag, 1995)
Keywords: C++; Program language; Computer science