U. Bosma, “Peter de Ruiter, Het Mijnwezen in Nederlands-Oost-Indië 1850-1950”, BMGN-LCHR, vol. 133, Jul. 2018.