Institute on Coal Mine Health and Safety : proceedings.