Reliable Implementation of Real Number Algorithms: Theory and Practice International Seminar Dagstuhl Castle, Germany, January 8-13, 2006 Revised Papers - Hertling, Peter; Hoffmann, Christoph M.; Luther, Wolfram; Revol, Nathalie (Springer Berlin Heidelberg, 2008)