1. Lars Ole Andersen. C program specialization. Technical Report 92/14, DIKU, Department of Computer Science, University of Copenhagen, May 1992.
2. Lars Ole Andersen. Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, Department fo Computer Science, University of Copenhagen, May 1994.
3. Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 1992.
4. Lennart Beckman, Anders Haraldson, Östen Oskarsson, and Erik Sandewall. A partial evaluator and its use as a programming tool. In Artificial Intelligence 7, pages 319–357. North-Holland Publishing Company, 1976.
5. Lars Birkedal, Nick Rothwell, Mads Tofte, and David N. Turner. The ML Kit, Version 1. Technical Report 93/14, DIKU, University of Copenhagen, Denmark, 1993. The ML Kit is obtainable by anonymous ftp from ftp.diku.dk directory pub/diku/users/birkedal. This technical report is distributed along with the ML Kit.