1. Tensor products and bimorphisms;Banaschewski;Can. Math. Bull.,1976
2. ⁎-Autonomous Categories;Barr,1979
3. ⁎-Autonomous categories;Barr;J. Pure Appl. Algebra,1996
4. Lattice Theory, Colloquium Publications, vol. XXV;Birkhoff,1995
5. Fuzzy Sets and Systems: Theory and Applications;Dubois,1980