Descripción de la gran basílica del Escorial - Rotondò, Antonio 1929-2007 (Ed. Patrimonio Nacional, 1984)