Mining engineering. (American Institute of Mining and Metallurgical Engineers, 1974)