C. Consel, L. Hornof, F. Noël, J. Noyé, und N. Volansche. Dagstuhl Seminar on Partial Evaluation, Volume 1110 von Lecture Notes in Computer Science, Seite 54-72. Springer, (1996)
T. Amtoft, C. Consel, O. Danvy, und K. Malmkjær. The Essence of Computation, Volume 2566 von Lecture Notes in Computer Science, Seite 332-357. Springer, (2002)