Scientific Computing, Validated Numerics, Interval Methods door Walter Kramer & Richard N. Arteca