Mineral industry of Indonesia; [by Arthur P. Grube and R. A. Pensel].