https://123dok.net/document/y962en6j-a-posteriori-error-analysis-for-parabolic-variational-inequalities.html