Meyer Kenneth R <br/><br/>
Computer Aided Proofs in Analysis 
/ by Kenneth R.Meyer 
 - New York  Springer Verlag  1991 
 - 249p.