Dictionary of arts, manufactures, and mines, containing a clear exposition of their principles and practice