Dizionario dei nomi italiani : origine, etimologia, storia, diffusione e frequenza di oltre 18.000 nomi - De Felice, Emidio, 1918- (Dizionari (Arnoldo Mondadori editore), 1986)