1. M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy, Explicit Substitutions, ACM Conference on Principle of Programming Languages, San Francisco, 1990.
2. H. P. Barendregt, The Lambda-Calculus, vol 103, Elsevier Science Publishing Company, Amsterdam, 1984.
3. N. de Bruijn, Lambda-Calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem, Indag. Math., 34(5), pp 381–392, 1972.
4. N. de Bruijn, Lambda-Calculus notation with namefree formulas involing symbols that represent reference transforming mappings Indag. Math., 40, pp 348–356, 1978.
5. A. Church, The Calculi of Lambda-Conversion, Ann. of Math. Studies, 6, 1941.