J. Madoz, «San Ildefonso de Toledo», EC, vol. 26, n.º 103, pp. 467–505, oct. 1952.