Mineral industry of Malaysia and Singapore [including the independent Sultanate of Brunei; by A. F. Grube].