Review of mining technology, 1952; by E. D. Gardner.

Tools