A concise history of mining - Gregory, Cedric E. (New York Pergamon Press, 1980)
Keywords: Mining engineering -- History