Mining engineers handbook - Peele, Robert