1. The Lambda Calculus. Its Syntax and Semantics;Barendregt,1984
2. Lambda calculus notation with nameless dummies;De Bruijn;Indag. Math.,1972
3. E.W. Dijkstra, A mild variant of combinatory logic, Unpublished note, EWD735, 1980.
4. On laziness and optimality in lambda interpreters: Tools for specification and analysis;Field,1990
5. Introduction to Combinatory Logic;Hindley,1972