1. Oliver Aberth. Precise Numerical Analysis. William Brown, Dubuque, Iowa, 1988.
2. Martin Berz, Christian Bischof, George Corliss, and Andreas Griewank, editors. Computational Differentiation: Techniques, Applications, and Tools. SIAM, Philadelphia, Penn., 1996.
3. George F. Corliss. Applications of differentiation arithmetic. In Ramon E. Moore, editor, Reliability in Computing, pages 127–148. Academic Press, London, 1988.
4. G.F. Corliss. Theory of Numerics in Ordinary and Partial Diffential Equations (W.A. Light, M. Machetta (Eds), volume Vol IV, chapter Guaranteed Error Bounds for Ordinary Differential Equations, pages 1–75. Oxford University Press, 1995.
5. Y. Deville, M. Janssen, and P. Van Hentenryck. Consistency Techniques in Ordinary Differential Equations. Technical Report TR98-06, Université catholique de Louvain, July 1998.