“Peter de Ruiter, Het Mijnwezen in Nederlands-Oost-Indië 1850-1950”, BMGN-LCHR, vol. 133, Jul. 2018, doi: 10.18352/bmgn-lchr.10538.