1. Appel, A. W.,Compiling with Continuations, Cambridge University Press, New York, 1992.
2. Byrd, L., “Understanding the Control of Prolog Programs,”Technical Report 151, University of Edinburgh, 1980.
3. Carlsson, M., “On Implementing Prolog in Functional Programming,”New Generation Computing, 2, 4, pp. 347–359, 1984.
4. Church, A.,The Calculi of Lambda-Conversion, Princeton University Press, 1941.
5. Consel, C. and Danvy, O., “Tutorial Notes on Partial Evaluation,” inProc. of the Twentieth Annual ACM Symposium on Principles of Programming Languages (Graham, S. L. ed.), pp. 493–501, Charleston, South Carolina, ACM Press, January 1993.