Dizionario biografico degli italiani : [15] (Istituto della Enciclopedia Italiana, 1972)