Giampietro Emilio, in Dizionario Biografico degli Italiani, Enciclopedia Treccani, Roma, Istituto della Enciclopedia Italiana, 2000, vol. 55, pp. 319-22;