San Ildefonso de Toledo : biografía, época y posteridad. - Rivera Recio, Juan Francisco, 1910- (Normal (Biblioteca de Autores Cristianos (BAC)), 1985)