Code of practice for line concrete lining for canals IS: 7873-1975 (Indian Standards Institution, 1983)