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