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