Global Optimization Using Interval Analysis - E. Hansen (CRC) WW