Review of mining technology; by Paul T. Allsman. James E. Hill, and Walter E. Lewis.

Tools