1. The Lambda Calculus;Barendregt,1984
2. Programmazione funzionale e rappresentabilità in alcuni sistemi di Logica Combinatoria;Berarducci,1983
3. Automatic synthesis of typed Λ-programs on term algebras;Böhm;Theoret. Comput. Sci.,1985
4. Combinatorial problems, combinator equations and normal forms;Böhm,1974
5. Characterizing X-separability and one-side invertibility in λβΩ-calculus;Böhm,1988