Global optimization using interval analysis - Hansen, Eldon (Marcel Dekker, 1992)