Reliable Implementation of Real Number Algorithms: Theory and Practice - Hertling, Peter; Hoffmann, Christoph M.; Kanade, Takeo; Luther, Wolfram; Revol, Nathalie; Kittler, Josef (Springer Berlin Heidelberg, 2008)