1. Rauh, A., Auer, E., Hofer, E.P., Luther, W. (eds.): Special Issue of the International Journal of Applied Mathematics and Computer Science AMCS, Verified Methods: Applications in Medicine and Engineering, vol. 19(3). University of Zielona Góra Press (2009)
2. Hull, T.E., Enright, W.H., Fellen, B.M., Sedgwick, A.E.: Comparing Numerical Methods for Ordinary Differential Equations. SIAM Journal on Numerical Analysis 9(4), 603–637 (1972)
3. Enright, W.H., Hull, T.E., Lindberg, B.: Comparing Numerical Methods for Stiff Systems of O.D.E:s. BIT Numerical Mathematics 15, 10–48 (1975)
4. Mazzia, F., Iavernaro, F.: Test Set for Initial Value Problem Solvers. Technical Report 40, Department of Mathematics, University of Bari, Italy (2003), http://pitagora.dm.uniba.it/~testset/
5. Neher, M., Jackson, K., Nedialkov, N.: On Taylor Model Based Integration of ODEs. SIAM Journal on Numerical Analysis 45(1), 236–262 (2007)