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