Global optimization using interval analysis - Hansen, Eldon R. (Monographs and textbooks in pure and applied mathematics ;)