1. S.M. Abramov and N.V. Kondratjev. A compiler based on partial evaluation. In Problems of Applied Mathematics and Software Systems, pages 66–69. Moscow State University, Moscow, USSR, 1982. (In Russian).
2. Technical Report;L.O. Andersen,1992
3. DIKU Research Report;L.O. Andersen,1994
4. DIKU Research Report;P.H. Andersen,1995
5. L. Beckman et al. A partial evaluator, and its use as a programming tool. Artificial Intelligence, 7(4):319–357, 1976.