1. Abadi, M., Cardelli, L., Curien, P.-L., Lévy, J.-J.: Explicit substitutions. Journal of Functional Programming 1(4), 375–416 (1991)
2. Appel, A.W.: Compiling with continuations. Cambridge University Press, Cambridge (1992)
3. Lecture Notes in Computer Science;B.E. Aydemir,2005
4. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development – Coq’Art: The Calculus of Inductive Constructions. In: EATCS Texts in Theoretical Computer Science, Springer, Heidelberg (2004)
5. Lecture Notes in Computer Science;S. Blazy,2006