A treatise on inland navigation, or, The art of making rivers navigable : of making canals in all sorts of soils, and or constructing locks and sluices : extracted from the works of Guglielmini, Michelini, Castellus, Belidor, and others, with observations and remarks /