Introduction to Interval Computation (1983)

by G Alefeld, J Herzberger