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

Tools