Generierung effizienter Übersetzer. - Michael Schmidt 011 (1989)