Introduction to interval analysis - Moore, Ramon E.; Kearfott, R. Baker; Cloud, Michael J. (Society for Industrial and Applied Mathematics, 2009)