1. H. Barendregt. The Lambda Calculus: Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics 103. North-Holland, Amsterdam, revised edition, 1984.
2. W. Burge. Recursive Programming Techniques. Addison-Wesley, Reading, Mass., 1975.
3. A. Church. The Calculi of Lambda-Conversion. Princeton University Press, Princeton, 1941.
4. H. B. Curry. Grundlagen der kombinatorischen Logik. Amer. J. Math, 52:509–536; 789–834, 1930.
5. H. B. Curry and R. Feys. Combinatory Logic, volume 1. North Holland, 1958.