A Posteriori Error Estimation in Finite Element Analysis by Mark Ainsworth & J. Tinsley Oden