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