1. Precise zeros of analytic functions using interval arithmetic;Schaefer;Interval Computations,1993
2. Numerical Toolbox for Verified Computing I;Hammer,1993
3. Rigorous Global Search: Continuous Problems;Kearfott,1996
4. Introduction to Interval Computations;Alefeld,1983
5. Interval Methods for Systems of Equations;Neumaier,1990