Kari-Jouko Räihä Experiences with the compiler writing system HLP. 350-362 1980 conf/cc/1980 Semantics-Directed Compiler Generation db/conf/cc/cc1980.html#Raiha80 http://dx.doi.org/10.1007/3-540-10250-7_28