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)