A guide to mining in Indonesia - Departemen Pertambangan (Dep. Pertambangan, 1971)