1. ANDREWS, PETER B. A transfinite type theory with type variables. Amsterdam, 1965. [TTT]
2. Rekursive Wortfunktionen;Asser;Z. Math. Logik Grundlagen Math.,1960
3. BIRKHOFF, GARRETT. Lattice Theory, 3d ed. Providence, R.I., 1967. [LTh3]
4. BÖHM, CORRADO. The CUCH as a formal and description language. Formal Language Description Languages for Computer Programming, edited by T. B. Steel, Jr., Amsterdam, 1966: 179–197. (Available in preliminary form since 1964.) [CFD]
5. BÖHM, CORRADO. Alcune proprietà della forme β-η-normali del λ— K-calcolo. Pubblicazioni dell'istituto per le applicazioni del calcolo (Consiglio nazionale delle ricerche, Roma) no. 696(1968), 19 pp. [PFB]