Report of planning workshop on irrigation water management (Manila:IRRI, 1980)