1. M. Abadi, L. Cardelli, P.-L. Curien, and J.-J. Lévy, Explicit Substitutions, in [21], 31–46.
2. S. Abramsky, The Lazy Lambda Calculus, ch. 4, in D. A. Turner (ed.), Research Topics in Functional Programming, Addison-Wesley, 1990, pp. 65–116.
3. Z. M. Ariola and Arvind, A Syntactic Approach to Program Transformations, in PEPM '91-Symposium on Partial Evaluation and Semantics-based Program Manipulation (Yale University, New Haven, Connecticut, USA), 17–19 June 1991, pp. 116–129.
4. H. Barendregt, The Lambda Calculus: Its Syntax and Semantics, revised edition, North-Holland, 1984.
5. LNCS;H. P. Barendregt,1987