C++ Toolbox for Veri Computing (1995)

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