Coal mines and mining. Increasing coal mine efficiency; by Charles E. Stuart. n. p.