Applied global optimization using integrated modeling and solver environments - Pintér, János D. (CRC, 2003)