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