1. Jones, N., Gomard, C., Sestoft, P.: Partial Evaluation and Automatic Program Generation. Prentice Hall, Englewood Cliffs (1993)
2. Lecture Notes in Computer Science;P. Wadler,1988
3. Turchin, V.: The Concept of a Supercompiler. ACM Transactions on Programming Languages and Systems 8(3), 90–121 (1986)
4. Sørensen, M., Glück, R., Jones, N.: A Positive Supercompiler. Journal of Functional Programming 6(6), 811–838 (1996)
5. Sørensen, M.: Turchin’s Supercompiler Revisited. Master’s thesis, Department of Computer Science, University of Copenhagen, DIKU-rapport 94/17 (1994)