Operationales Spezifizieren mit programmierten Graphersetzungssystemen

Bok av Andreas Schurr