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