1. Lecture Notes in C.S.;E. Astesiano,1980
2. ==== The insensitivity theorem for non-reducing reflexive types, Rapporto Scientifico N.80, Sept. 1980, Istituto di Matematica dell'Università di Genova.
3. J.A. Goguen, J.W. Thatcher, E.G. Wagner, J.B. Wright, Initial algebra semantics and continuous algebras, JACM 24 (1977) 68–95.
4. G.Berry, Modèles complètement adéquats et stables des λ-calculs typés, Thèse d'Etat, Université Paris VII, 1979.
5. R. Hindley, An abstract Church-Rosser theorem II: applications, J. Symb. Logic 39 (1974) 1–21.