,
S.I.A.M.
SIAM Journal on Scientific Computing
Modelling, Analysis and Computation

Trompert, R., & Verwer, J. (1993). Analysis of the implicit Euler local uniform grid refinement method. SIAM Journal on Scientific Computing, 14(2), 259–278.