Mining engineering (Inst., 1949)