Reihe Aachener Informatik Berichte Software EngineeringErhard Herbert Weinell × Ein Rahmenwerk für operationale SpezifikationssprachenSprachrealisierung und Ausführung mittels GraphtransformationenErhard Herbert WeinellShakerBuch2011