1. Barendregt, H. P., The Lambda Calculus, its Syntax and Semantics, North-Holland, Amsterdam, 1981. Zbl 0467.03010 MR 83b:03016
2. Batini, C., and A. Pettorossi, Some Properties of Subbases in Weak Combinatory Logic, Report 75–04, Istituto di Automatica, Roma, 1975.
3. Clarke, T. J. W., P. J. S. Gladstone, C. D. MacLean and A. C. Norman, “SKIM–-The S,K,I Reduction Machine” in Conference Record of the 1980 LISP Conference, Stanford University, 1980.
4. Curry, H. B., W. Craig and R. C. Feys, Combinatory Logic, vol. 1, North-Holland, Amsterdam, 1958. Zbl 0081.24104 MR 20:817
5. Curry, H. B., J. R. Hindley and J. P. Seldin, Combinatory Logic, vol. 2, North-Holland, Amsterdam, 1972. Zbl 0242.02029