1. Barendregt, H. (1983). The lambda calculus. Amsterdam: North Holland.
2. Church, A. (1941). The calculi of lambda conversion. Princeton: Princeton University Press.
3. Curry, H. B. (1958). Combinatory logic (Vol. 1). Amsterdam: North Holland.
4. Smullyan, R. (1985). To mock a Mockingbird. New York: Knopf.
5. Statman, R. (1986). On translating lambda terms into combinators. In Proceedings of the Logic in Computer Science Conference I.E.E.E.