Formal software specification using graph rewriting systems - Freund, Rudolf; Stary, Christian (Universität <Magdeburg> / Fakultät für Informatik: Preprint, 1994)