Mine accidents. Outline of mine-rescue maneuvers: by Jamas W. Paul.