A posteriori error estimation in finite element analysis - Ainsworth, M. (Pure and applied mathematics, 2000)