Flemming Nielson Hanne Riis Nielson Code generation from two-level denotational meta-languages. 192-205 1985 conf/pdo/1985 Programs as Data Objects db/conf/pdo/pdo1985.html#NielsonN85 http://dx.doi.org/10.1007/3-540-16446-4_11