*-Autonomous categories - Barr, Michael, 1971- (Springer-Verlag, 1979)