Dictionary of tools used in the woodworking and allied trades, c. 1700-1970