Verification of functional a posteriori error estimates for obstacle problem in 2D - Petr Harasim; Jan Valdman (2014)