Mine timbers. Timbering of metal mines; by E. A. Holbrook, Richard V. Ageton, and Harry E. Tufft.