Buku tahunan pertambangan Indonesia 1972 - Departemen Pertambangan (Dep. Pertambangan, 1973)