Mining engineers' handbook - Peele, Robert (John Wiley, 1941)