Global Optimization by R. Horst & H. Tuy