A posteriori error estimators in the finite element method. Mark Ainsworth; Alan Craig Numerische Mathematik