Operationales Spezifizieren mit Programmierten Graphersetzungssystemen: Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung (DUV: Datenverarbeitung) (German Edition)