Graph grammars an introduction to the double pushout approach - Martini, Alfio; Ehrig, Hartmut 1944-2016; Nunes, Daltro (Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1996)