1. Jones N D, Gomard C K, Sestoft P S. Partial Evaluation and Automatic Program Generation. International Series in Computer Science, Hoare C A R (ed.), ISBN 0-13-020249-5, Prentice Hall International, June, 1993.
2. Jones N D, Sestoft P S. Self-applicable partial evaluator for experiments in compiler generation.Journal of LISP and Symbolic Computation, 1989, (1): 9–50.
3. Laura Lafave. A constraint-based partial evaluation for functional logic programs and its application [dissertation]. Bristol University, UK, Oct., 1998.
4. Kleinrubatscher P, Kriegshaber A, Zöchling R, Glück R. Fortran program specialization.SIGPLAN Notices, 1995, 30(4): 61–70.
5. Ershov A P. On the Essence of Compilation. InFormal Description of Programming Concepts, Neuhold E J (ed.), Noth-Holland, 1978, pp.391–420.