Non-linear and mixed-integer optimization fundamentlas and applications - Floudas, Christodoulos A. (Oxford University Press, 1995)