1. Alefeld G, Herzberger J (1983) Introduction to interval computations. Academic Press, New York
2. Araya I, Trombettoni G, Neveu B (2010) Exploiting monotonicity in interval constraint propagation
3. Auer E, Cuypers R, Dyllong E, Kiel S, Luther W (2010) Verification and validation for femur prosthesis surgery. In: Brown BM, Kaltofen E, Oishi S, Rump SM (eds) Computer-assisted proofs—tools, methods and applications, no. 09471 in Dagstuhl Seminar Proceedings. Schloss Dagstuhl, Germany. http://drops.dagstuhl.de/opus/volltexte/2010/2513
4. Berz M (1995) Modern map methods for charged particle optics. Nucl Instrum Methods A363: 100–104
5. Berz M, Makino K (2006) Cosy infinity 9.0. Tech Rep. MSUHEP 060803. Michigan State University, East Lansing