Ancient Carpenters' Tools: Illustrated and Explained, Together with the Implements of the Lumberman, Joiner and Cabinet-Maker in Use in the Eighteenth Century