Thomas Führer: First-order least-squares method for the obstacle problem. Numerische Mathematik 144(1): 55-88 (2020)