W. Ravesteijn, De zegenrijke heeren der wateren. Irrigatie en staat op Java, 1832-1942. (1999). BMGN - Low Countries Historical Review, 114(2), 294-294. https://doi.org/10.18352/bmgn-lchr.4986