Coal dust. Formation, collection, and treatment of coal dust in mines; by D. Harrington.