Semantics-directed compiler generation : PROCEEDINGS OF A WORKSHOP AARHUS, DENMARK, JANUARY 14-18, 1980. - Jones, Neil D. (Springer Verlag, 1980)