Geschiedenis van het Korps Genietroepen van het leger in Oost-Indië, 1816-1895 / E. Marcella Geen rokjas bij het Indisch Leger : of onderzoek naar een ambtelijk conflict / R.A.J. Wolters