Mine-rescue work. Rescue and recovery operations in mines after fires and explosions; by James W. Paul and H. M. Wolflin.