Gerla Leonardo in Dizionario Biografico degli Italiani, Roma, Istituto per l'Enciclopedia Italiana, LIII, 1999, pp. 436-438