Nonlinear and mixed integer optimization fundamentals and applications - Floudas, Christodoulos A. 1959- (Oxford Univ. Press, 1995)