Mining engineers' handbook. - Peele, Robert