Interval analysis - Moore, Ramon E. (Prentice-Hall, 1966)