Eigenschaften von Programmiersprachen
definiert durch attributierte GrammatikenIn: Programmiersprachen und Programmentwicklung, Jg. 6, S. 157-174
Executable specifications for language implementation
In: Programming language implementation and logic programming, Jg. 1993, S. 1-11