Books about Type and type-founding