Developments in global optimization - Bomze, Immanuel M. (Kluwer Academic Publications, 1997)