1. 1. BARENDREGT H. P., The Lambda Calculus, its Sintax and Semantics, North-Holland, Amsterdam, 1981.6229120467.03010
2. 2. BERGSTRA J. and KLOP J. W., Invertible Terms in the Lambda Calculas, Theor., Comp. Sci., vol 9, 1980, p. 27-38.535122
3. 3. BÖHM C., Alcune proprietà délie formefi β-η-normalinel λ-k calcolo. Pubblicazioni dell'Istituto per le Applicazioni del Calcolo, n. 696, Roma, 1968.
4. 4. BÖHM C. and DEZANI-CIANCAGLINI M., Combinatorial problems, combinator equations and normal forms, Springer L. N. C. S., n° 14, 1974, p. 185-199.4295000309.68037
5. 5. CHURCH A., Combinatory logic as a semigroup (abstract), Bull. Amer. Math. Soc., vol. 43, 1937, p. 333.