Gravity Dams : (irrigation practice and desing) (1972)