Coal mines and mining. Methods, costs, and safety in stripping and mining coal, copper ore, iron ore, bauxite, and pebble phosphate; [by F. E. Cash and M. W. von Bernewitz].