1. Barendregt H.P.: The Lambda Calculus, its Syntax and Semantics, Revised edn. North-Holland, Amsterdam (1984)
2. Curry H.B., Feys R.: Combinatory Logic, vol. I. North-Holland, Amsterdam (1958)
3. Curry H.B., Hindley J.R., Seldin J.P.: Combinatory Logic, vol. II. North-Holland, Amsterdam (1972)
4. Hindley J.R.: Axioms for strong reduction in combinatory logic. J. Symb. Log. 32, 224–236 (1967)
5. Hindley, R.: Review of Loewen [12], [13], [14]. MR0248022 (40 #1279a), MR0248023 (40 #1279b), MR0248024 (40 #1279c)