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