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