A concise history of mining - Gregory, Cedric E. (Pergamon Press, 1980)