1. S. Chopra, Affine arithmetic-type techniques for handling uncertainty in expert systems, Master's Thesis, Department of Computer Science, University of Texas at El Paso, 2005.
2. Introduction to Algorithms;Cormen,2001
3. Self-validated numerical methods and applications, Brazilian Mathematics Colloquium Monograph;de Figueiredo,1997
4. Controlling the wrapping effect in the solution of ODEs for asteroids;Hoefkens;Reliable Comput.,1999
5. Probabilistic approach to trust;Jaksurat,2004