Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker <br/><br/>
Scientific Computing, Computer Arithmetic, and Validated Numerics 

 -  Springer  Springer  2016 
<br/><br/><label>ISBN: </label>9783319317694 
<br/><br/><label>Source: </label>EBOOK