1. A.R. Anderson, N.D. Belnap, Entailment. The Logic of Relevance and Necessity, vol. 1. Princeton University Press, Princeton, NJ, 1975.
2. The Lambda Calculus, its Syntax and Semantics;Barendregt,1981
3. Lambda calculi with types;Barendregt,1992
4. H.B. Curry, R. Feys, Combinatory Logic, vol. 1, North-Holland, Amsterdam, 1958.
5. The mathematical language AUTOMATH, its usage and some of its extensions;de Bruijn,1970