Los ingenieros de minas y la Prehistoria en el siglo XIX : una aproximación hisdtoriográfica. - Jiménez Díaz, José Antonio