Coal mines and mining. Some instruments and devices that coal-mine officials should understand and use; by G. W. Grove.