Danvy, O. and Rose, K. H. (1997) “Higher-Order Rewriting and Partial Evaluation”, BRICS Report Series, 4(46). doi: 10.7146/brics.v4i46.19267.