A Dictionary of Arts, Manufactures and Minescontaining a clear exposition of their principles and practice by Ure, Andrew
 is a Project Gutenberg book, now on Github.