B. Grobauer og Z. Yang, “The Second Futamura Projection for Type-Directed Partial Evaluation”, BRICS, bd. 7, nr. 44, jun. 2000.