Biblioteca de Palacio en Madrid - Torre Revello, José (Publicaciones / Instituto de Investigaciones Históricas, 1942)