Bulletin. 481. Safety in mining industry [with one reference]; by D. Harrington, J. H. East, jr., and R. G. Warncke.