Text this: Batavia-Jakarta 1600-2000 : a bibliography