Metal mines. Accidents from falls of rock or ore in metal mines; by E. H. Denny.