Scientific Computing, Computer Arithmetic, and Validated Numerics - Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker; Tucker, Warwick; Wolff von Gudenberg, Jürgen (Springer International Publishing, 2016)