The Arché Papers on the Mathematics of Abstraction - Cook (Springer Netherlands, 2007)