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