El panteón de los reyes (Santa María de Oviedo) a través de la historiografía de los siglos XVI, XVII y XVIII | Publicación