Augemented Lagrangian Techniques for Elliptic State Constrained Optimal Control Problems | Synapse