Tunnels. Safety and efficiency in mine tunneling [with bibliography]; by David W. Brunton and John A. Davis. [2d edition.]

Tools