B. Grobauer og Z. Yang, “The Second Futamura Projection for Type-Directed Partial Evaluation”, BRICS, bd. 6, nr. 40, dec. 1999.