Gallotti Giuseppe, in Dizionario Biografico degli Italiani, Enciclopedia Treccani, Roma, Istituto della Enciclopedia Italiana, 2000, vol. 54, pp. 734-36;