Mine accidents. How mine workers can help to prevent mine explosions; by D. Harrington.