%0 Book
%A  by Ulrich Kulisch, Rolf Hammer, Matthias Hocks, Dietmar Ratz.
%T C++ Toolbox for Verified Computing I : 
%U /book/90121345/C-Toolbox-for-Verified-Computing-I/