A Dictionary of Arts, Manufactures and Mines / containing a clear exposition of their principles and practice