The geology and tectonics of eastern Indonesia (Geological Research And Development Centre, 1981)