Compiler Generation from language definitions to abstract compilers - Hoffmann, Berthold (1983)