GIRARDENGO, Francesco, in Dizionario Biografico degli Italiani, Roma, Istituto per l’Enciclopedia Italiana, LVI, 2001, pp. 466-470