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