Grobauer, B., and Z. Yang. “The Second Futamura Projection for Type-Directed Partial Evaluation”. BRICS Report Series, vol. 6, no. 40, Dec. 1999, doi:10.7146/brics.v6i40.20109.