1. ∗-Autonomous Categories;Barr,1979
2. ∗-Autonomous categories and linear logic;Barr;Math. Structures Comput. Sci.,1991
3. Constructing ∗-autonomous categories;Chu,1979
4. appendix to Ref. [1].
5. Introduction to the Theory of Formal Groups;Dieudonné,1973