C++ Toolbox for Verified Computing (1995)

by R Hammer, M Hocks, U Kulisch, D Ratz