Maintenance of mining machinery : proceedings - National Productivity Council (New Delhi National Productivity Council, 1980)