Global Optimization Using Interval Analysis by G. William Walster, Eldon Hansen & Eldon R. Hansen