Workshop on Semantics-directed Compiler Generation (1980 University of Aarhus, Denmark)