Global optimization: deterministic approaches - Horst, Reiner; Tuy, Hoang (Springer-Verlag, 1993)