1. M. Berz, J. Hoefkens, K. Makino, COSY INFINITY Version 8.1—programming manual, Technical Report MSUHEP-20703, Department of Physics and Astronomy, Michigan State University, East Lansing, MI, 2002, see also http://cosy.pa.msu.edu.
2. M. Berz, Modern Map Methods in Particle Beam Physics, Academic Press, San Diego, 1999, also available at http://bt.pa.msu.edu/pub.
3. M. Berz, Forward algorithms for high orders and many variables, in: A. Griewank, G.F. Corliss (Eds.), Automatic Differentiation of Algorithms: Theory, Implementation and Application, SIAM, Philadelphia, 1991.
4. Methods and Applications of Interval Analysis;Moore,1979
5. J. Hoefkens, Verified methods for differential algebraic equations, Ph.D. Thesis, Michigan State University, East Lansing, MI, USA, 2001.