V. Lefèvre, D. Stehlé, and P. Zimmermann. Reliable Implementation of Real Number Algorithms, volume 5045 of Lecture Notes in Computer Science, page 114-126. Springer, (2008)
V. Lefèvre, D. Stehlé, and P. Zimmermann. Reliable Implementation of Real Number Algorithms, volume 06021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)