Ralf Reetz Thomas Kropf Simplifying Deep Embedding: A Formalised Code Generator. 378-390 1994 conf/tphol/1994 TPHOLs db/conf/tphol/tphol94.html#ReetzK94 http://dx.doi.org/10.1007/3-540-58450-1_55