Nonlinear programming theory, algorithms, and applications - McCormick, Garth P. (Wiley, 1983)