Jurgen Herzberger

Introduction to Interval Computation
Numerical Methods and Error Bounds
Topics in Validated Computations