“…Most of these algorithms are based on a posteriori error estimators which provide appropriate tools for adaptive mesh refinements. The theory of a posteriori analysis of finite element methods for parabolic problems is well-developed (see, e.g., [3,4,19,22,27,29,36,40]). Surprisingly, there has been considerably less work on the error control of finite element methods for second order hyperbolic problems, despite the substantial amount of research in the design of finite element methods for the wave problem (see, e.g., [6,7,8,11,20]).…”