Het Mijnwezen in Nederlands-Oost-Indië 1850-1950 by Peter de Ruiter