Peele, Robert.

Mining engineers' handbook