'Stereotomy' is a comprehensive handbook on stereotomy, the art or technique of cutting stone, wi...