1. Ershov, A.P.: Mixed comp.: potential applications and problems for study. Theoret. Comp. Science 18, 41–67 (1982)
2. Futamura, Y., Nogi, K.: Generalized partial computation. In: Proc. of the IFIP TC2 Workshop, pp. 133–151 (1988)
3. Jones, N.D., Gomard, C.K., Sestoft, P.: Partial Eval. and Automatic Program Generation. Prentice Hall Intern., Englewood Cliffs (1993)
4. Korlyukov, A.V.: User manual on the Supercompiler Scp4 (1999),
http://www.refal.net/supercom.htm
(in Russian)
5. Korlyukov, A.V.: A number of examples of the program transformations with the supercompiler Scp4 (2001),
http://www.refal.net/~korlukov/pearls/
(in Russian)