Title: Thesaurus of mining terms
Subjects: Thesauri, Mining engineering