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