200 años del Palacio de Minería: su historia a partir de fuentes documentales. Intervención. 2015;(11):83-88. doi:10.30763/Intervencion.2015.11.138