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