Double pushout graph transformation revisited - Habel, Annegret; Müller, Jürgen; Plump, Detlef (Universität <Oldenburg> / Fachbereich Informatik: Berichte aus dem Fachbereich Informatik der Universität Oldenburg, 1999)