BN Cat. gén. : Ildephonse (Saint), archevêque de Tolède
Clavis scriptorum Graecorum et Latinorum : Ildefonsus Toletanus. GDEL : Ildefonse
(saint). Marietti : Ildefonso di Toledo
La Virginidad perpetua de Santa María / San Ildefonso de Toledo ; [versión de] Vicente
Blanco García, 1971