Interval analysis. - Moore, Ramon E. (Series in automatic computation, 1966)