Word Mining Glossary of Mining, Processing, and Geological Terms - WYLLIE, R.J.M. (Miller Freeman, 1975)