Adhesive High-Level Replacement Categories and Systems - Hartmut Ehrig and Annegret Habel and Julia Padberg and Ulrike Prange (Springer, 2004)