1. ∗-Autonomous Categories;Barr,1979
2. ∗-Autonomous categories and linear logic;Barr;Math. Structures Comput. Sci.,1991
3. M. Barr, ∗-Autonomous categories, revisited, to appear.
4. Constructing ∗-autonomous categories;Chu,1979
5. Closed categories;Eilenberg,1966