https://123dok.net/document/zwv9j00l-quasi-interpolation-posteriori-error-analysis-finite-element-methods.html