1. Berz, M., Hoffstätter, G.: Computation and application of Taylor polynomials with interval remainder bounds. Reliab. Comput. 4(1), 83–97 (1998)
2. 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)
3. Butcher, J.C.: The Numerical Analysis of Ordinary Differential Equations: Runge-Kutta and General Linear Methods. Wiley, Chichester (1987)
4. Ceschino, F.: Modification de la Longueur du pas Dans L’intégration Numérique par les Méthodes à pas Líes. Chiffres 2, 101–106 (1961)
5. Collatz, L.: The Numerical Treatment of Differential Equations, 3rd edn. Springer, Berlin (1959)