Encyclopedic dictionary of industrial technology : materials, processes and equipment. (1777)