Nonlinear programming analysis and methods - Avriel (Prentice-Hall series in automatic computation, 1976)