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