Mining and metallurgy (American Institute of Mining and Metallurgical Engineers, 1920)