Hertling, Peter (ed.) et al., Reliable implementation of real number algorithms: Theory and practice. International seminar, Dagstuhl Castle, Germany, January 8–13, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-85520-0/pbk). Lecture Notes in Computer Science 5045, 28-43 (2008).