G. Corliss, R. Kearfott, N. Nedialkov, J. Pryce, and S. Smith. Reliable Implementation of Real Number Algorithms, volume 06021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2006)
J. Pryce, G. Corliss, R. Kearfott, N. Nedialkov, and S. Smith. Numerical Validation in Current Hardware Architectures, volume 08021 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)