M. Hocks

title	ISBN-13 (ISBN-10)	year of publica- tion	other author(s)
Numerical Toolbox for Verified Computing I: Basic Numerical Problems: Theory, Algorithms, and Pascal-Xsc Programs	978-O-387-57118-8 (O-387-57118-3)	1993	R. Hammer · U. Kulisch · D. Ratz