“How to Prove the Discrete Reliability for Nonconforming Finite Element Methods” (2020) Journal of Computational Mathematics, 38(1), pp. 142–175. doi:10.4208/jcm.1908-m2018-0174.