Mines and mining. Progress in mine mechanization; by O. E. Kiessling, F. G. Tryon, L. N. Plein, and F. E. Berquist.