A concise history of mining - Gregory, Cedric E. (A. A. Balkema, 2001)