Biblioteca de Palacio Encuadernaciones /
Real Biblioteca, afterwards Biblioteca de Palacio (Madrid)
Madrid,
1950.