Dictionary of mining, mineral, and related terms; compiled and edited by Paul W. Thrush and Staff of Bureau of Mines.