Data dasar gunung api Indonesia. - Direktur Jenderal Pertambangan (Departemen Pertambangan dan Energi, 1979)