Text this: Compiler compilers and high speed compilation : 2nd CCHSC Workshop, Berlin, GDR, October 10-14, 1988 : proceedings / D. Hammer, ed.