Irrigation works : the principles on which their design and working should be based, with special details relating to Indian canals and some proposed improvements