Jan A. Bergstra T. B. Dinesh John Field Jan Heering A Complete Transformational Toolkit for Compilers. 92-107 1996 conf/esop/1996 ESOP db/conf/esop/esop96.html#BergstraDFH96 http://dx.doi.org/10.1007/3-540-61055-3_31