1. The lambda calculus;Barendregt,1984
2. Böhm, C. and Dezani-Ciancaglini, M. Combinatorial problems, combinator equations and normal forms, in: Lceckx (ed.) Aut., Langu. and Progr, 2th Colloquium, LNCS 14, 1974, pp. 185–199
3. A discrimination algorithm inside λ-β-Calculus;Böhm;Theor. Comput. Sci.,1979
4. Berarducci, A., Programmazione funzionale e rapprescntabilita in alcuni sislemi di Logica Combinatoria, Tesi di Laurea in Matcmauca, 1983 (supervisor C. Böhm)
5. Böhm, C., Alcune proprieta delle forme β-η-normali nel λ-K-calcolo, 1AC Publ. n. 696, Roma, 19 pp., 1968