E. Auer, R. Cuypers, E. Dyllong, S. Kiel, and W. Luther. Computer-assisted proofs - tools, methods and applications, volume 09471 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)
E. Auer, A. Rauh, E. Hofer, and W. Luther. Reliable Implementation of Real Number Algorithms, volume 5045 of Lecture Notes in Computer Science, page 1-27. Springer, (2008)