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