Text this: Changing Economy in Indonesia: A Selection of Statistical Source Material from the Early 19th Century up to 1940