The real domestic product of Indonesia, 1880–1989 · Study