1. Barendregt, H. P. 1984 The lambda calculus, its syntax and semantics, revised edition, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam.
2. Barendregt, H. P. 1991 Theoretical pearls: Self-interpretation in lambda calculus, Journal of Functional Programming, vol. 1(2), pp. 229–233.
3. Böhm, C., and A. Berarducci 1985 Automatic synthesis of typed A-programs on term algebras, Theoretical Computer Science, vol. 39, pp. 135–154.
4. Böhm, C., A. Piperno, and S. Guerrini 1994 A-definitions of function(al)s by normal forms, ESOP ‘94 (D. Sannella, editor), LNCS 788, Springer, Berlin, pp. 135–149
5. Church, A. 1941 The calculi of lambda conversion, Princeton University Press, Princeton; reprinted by Kraus Reprint Corporation, New York, 1965.