I. de las Casas Gómez, «Proyecto de obras de restauración en la granja de san Ildefonso/Segovia/España», Inf. constr., vol. 38, n.º 388, pp. 35–42, abr. 1987.