Mining Technology (American Institute of Mining and Metallurgical Engineers, 1937)