Introduction to interval computations - Alefeld, Gotz (Academic Press, 1983)