Mining engineers' handbook - Peele, Robert ed. 1858-1942 (Wiley, 1941)