Dust hazards and their control in mining; by D. Harrington.