1. The Lambda Calculus;Barendregt,1982
2. A Note on the Entscheidungs Problem;Church;J. of Symbolic Logic,1936
3. Combinatory Logic Vol. I;Curry,1958
4. Combinators and the theory of partitions;Statman,1988
5. Some Examples of Non-Existent combinators;Statman;Theoretical Computer Science,1993