Bosma, U. Peter De Ruiter, Het Mijnwezen in Nederlands-Oost-Indië 1850-1950. BMGN-LCHR 2018, 133.