1. Attardi G.,Strutture di dati come reticoli: un teorema di rappresentazione per retiooli continui, Tesi di Laurea in Scienze dell'Informazione, Pisa, 1972.
2. Cadiou J. M.,Recursive definitions of partial functions and their computation, Ph. D. Thesis, Computer Science Department, Stanford University, 1972.
3. Mathematical Centre Tracts;J. W. Backer De,1971
4. Longo G.,La semantica dei sistemi formali: i modelli di Scott per il λ-calcolo, I. A. C., Roma 1972.
5. Manna Z.,Introduction to mathematical theory of computation, Computer Science Department, Stanford University, 1972. (in pubblicazione)