https://123dok.net/document/zx58064q-on-augmented-lagrangian-methods-with-general-lower-level-constraints.html