Indonesia. Direktorat Geologi, “Bulletin of the Geological Survey of Indonesia,” , 2022.