Meyer, Kenneth R. <br/><br/>
Computer aided proofs in analysis 
by Kenneth R. Meyer and Dieter S. Schmidt 
 -  Springer  1990