Nonlinear analysis and optimization (North-Holland, 1987)