Kamus istilah pertambangan umum. - Tim Kamus Istilah pertambangan (Direktorat jenderal pertambangan umum, 1993)