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