Introduction to interval computations - Alefeld, Götz, 1941- (Computer science and applied mathematics, 1983)