1. C. BÖHM, The CUCH as a Formal and Description Language, Formal Language Description Languages for Computer Programming, ed. T.B. Steel, North-Holland, Amsterdam (1966), 179–197.
2. C. BÖHM, Alcune proprietà delle forme β-η-normali nel λ-κ-calcolo, IAC, (1968), 696.
3. C. BÖHM, M. DEZANI-CIANCAGLINI, λ-term as Total or Partial Functions on Normal Forms, λ-Calculus and Computer Science Theory, ed. C. Böhm, Lecture Notes in Computer Science, 37, Springer-Verlag, (1975), 96–121.
4. H.B. CURRY, R. FEYS, Combinatory Logic, 1, North-Holland, Amsterdam, (1958).
5. H.B. CURRY, R. HINDLEY, J.P. SELDIN, Combinatory Logic, 2, North-Holland, Amsterdam, (1972).