O. Danvy og K. H. Rose, “Higher-Order Rewriting and Partial Evaluation”, BRICS, bd. 4, nr. 46, jun. 1997.