Computer aided proofs in analysis - Meyer, Kenneth R. (Springer, 1990)