Introduction to interval analysis - Moore, Ramon E (SIAM, 2008)