Operationales Spezifizieren Mit Programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele Und Werkzeugunterstützung Herausgege - Andreas Schürr - Häftad | Bokus