Title: Operationales Spezifizieren mit programmierten Graphersetzungssystemen
Subjects: Formal languages, Graph theory, Rewriting systems (Computer science)