1. Alefeld, G., Herzberger, J.: Introduction to interval computations. Academic Press, New York (1983)
2. Berz, M., Hoffstätter, G.: Computation and application of Taylor polynomials with interval remainder bounds. Reliab. Comput. 4(1), 83–97 (1998)
3. Berz, M., Makino, K.: Performance of Taylor model methods for validated integration of ODEs. In: Dongarra, J., Madsen, K., Wasniewski, J. (eds.) Applied Parallel Computing. State of the Art in Scientific Computing, Lecture Notes in Computer Science, vol. 3732, pp. 65–73 (2005)
4. Butcher, J.C.: The numerical analysis of ordinary differential equations: Runge-Kutta and general linear methods. Wiley, Chichester (1987)
5. Corliss, G.F., Rihm, R.: Validating an A Priori Enclosure Using High-Order Taylor Series. In: Scientific Computing, Computer Arithmetic, and Validated Numerics, pp. 228–238. Akademie Verlag (1996)