Semantics-directed compiler generation proceedings of a workshop Aarhus, Denmark, january 14-18, 1980. Berlin : Springer, 1980. 489 s. Lecture notes in computer science, 94.