Mine gases and methods for their detection; by J. J. Forbes and G. W. Grove.