3 works on record
Introduction to Interval Computation
Numerical Methods and Error Bounds
Topics in Validated Computations