Graph Transformations - Corradini, Andrea; Ehrig, Hartmut; Kanade, Takeo; Montanari, Ugo; Ribeiro, Leila; Rozenberg, Grzegorz (Springer Berlin Heidelberg, 2006)