1. Bolingbroke M., Peyton Jones S. Supercompilation by Evaluation // Proceedings of the Third ACM Haskell Symposium on Haskell (Haskell 2010). — ACM, 2010. — P. 135–146.
2. Futamura Y. Partial Evaluation of Computation Process — An Approach to a Compiler-Compiler // Systems, Computers, Controls. — 1971. — Vol. 2, no. 5. — P. 45–50.
3. Futamura Y. EL1 Partial Evaluator (Progress Report). — Center for Research in Computing Technology, Harvard University, January 1973. — URL: http://fi.ftmr.info/PE-Museum/EL1.PDF (accessed: 25.05.2018).
4. Glück R., Klimov And. V. Occam’s Razor in Metacompuation: The Notion of a Perfect Process Tree // Static Analysis. — Vol. 724 of Lecture Notes in Computer Science. — Springer, 1993. — P. 112–123.
5. Jones N. D., Gomard C. K., Sestoft P. Partial Evaluation and Automatic Program Generation. — Prentice Hall, 1993. — ISBN 0-13-020249-5. — URL: http://www.itu.dk/~sestoft/pebook/pebook.html (accessed: 25.05.2018).