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