St. Alisjahbana, Dkk