K. Mehlhorn, A. Eigenwillig, L. Kettner, W. Krandick, S. Schmitt, und N. Wolpert. Reliable Implementation of Real Number Algorithms, Volume 06021 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)