Balat, V., og O. Danvy. “Memoization in Type-Directed Partial Evaluation”. BRICS Report Series, bd. 9, nr. 33, juli 2002, doi:10.7146/brics.v9i33.21748.