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

Tools