Grobauer, Bernd, og Zhe Yang. “The Second Futamura Projection for Type-Directed Partial Evaluation”. BRICS Report Series, bd. 6, nr. 40, december 1999, doi:10.7146/brics.v6i40.20109.