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)
L. Kettner, и E. Welzl. IFIP Congress: Fundamentals - Foundations of Computer Science, том 117 из books@ocg.at, стр. 13-26. Austrian Computer Society, (1998)