Data dasar gunungapi Indonesia = Catalogue of references on Indonesian volcanoes with eruptions in historical time