Geschiedenis van het Korps Genietroepen van het leger in Oost-Indië, 1816-1895 / E. Marcella Oost-Indië's herstel in 1816 : naar oorspronkelijke stukken / P.H. van der Kemp
