Title: Compendio das minas
Subjects: Early works to 1800, Mining engineering