Scientific Computation with Automatic Result Verification - Kulish, Ulrich (Springer, 1988)