Danvy, Olivier, and Kristoffer H. Rose. “Higher-Order Rewriting and Partial Evaluation”. BRICS Report Series 4, no. 46 (June 16, 1997). Accessed April 28, 2024. https://tidsskrift.dk/brics/article/view/19267.