Mining engineering (New York : Inst., 1949)