The design of mine structures - Ketchum, Milo Smith, 1872- (McGraw-Hill, 1913)