An introduction to mining : exploration, feasibility, extraction, rock mechanics L. J. Thomas. - Thomas, L. J. (Methuen of Australia, 1979)