Introduction to interval analysis - Moore, Ramon E. (Society for Industrial and Applied Mathematics, 2009)