Kamus teknik industri pertambangan. - GANDADISASTRA (Penerbit Nova, 1992)