(1)
Danvy, O.; Rhiger, M. Compiling Actions by Partial Evaluation, Revisited. BRICS 1998, 5.