An elementary proof of the Fritz-John and Karush-Kuhn-Tucker conditions in nonlinear programming
scientific article; zbMATH DE number 5129939