Floudas. Deterministic Global Optimization : Theory, Methods and Applications. Nonconvex Optimization and Its Applications (2000)