“Peter De Ruiter, Het Mijnwezen in Nederlands-Oost-Indië 1850-1950”. 2018. BMGN - Low Countries Historical Review 133 (July). https://doi.org/10.18352/bmgn-lchr.10538.