Toposes, triples and theories - Barr, Michael, 1971- (Springer-Verlag, 1985)