Control of harmful dust in coal mines. (National Coal Board, Mining Department, 1973)