Computer aided proofs in analysis - Meyer, Kenneth R (springer verlag, 1990)