Operationales Spezifizieren mit Graph Ersetzungssystemen, Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstutzung. Deutscher Universitaetsverlag (1991)

by A Schurr