Indonesia. Direktorat Geologi (2022). Bulletin of the Geological Survey of Indonesia. .