K. Mehlhorn, A. Eigenwillig, L. Kettner, W. Krandick, S. Schmitt, and N. Wolpert. Reliable Implementation of Real Number Algorithms, volume 06021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)
K. Mehlhorn, and S. Näher. IFIP Congress: Fundamentals - Foundations of Computer Science, volume 117 of books@ocg.at, page 81-88. Austrian Computer Society, (1998)