Nombre y localización del Monasterio de San Ildefonso. - Gonzálvez Ruiz, Ramón (Pontificio Istituto di Archeologia Cristiana, 2013)