Mine rescue work. Procedure in sealing and unsealing mine fires and in recovery operations following mine explosions; by J. J. Forbes and G. W. Grove.