@article{barr1995-nonsymmetric-star-autonomous,
 title = {Nonsymmetric *-autonomous categories},
 author = {Barr, Michael},
 year = {1995},
 journal = {Theoretical Computer Science},
 volume = {139},
 number = {1--2},
 pages = {115--130},
 doi = {10.1016/0304-3975(94)00089-2},
 url = {https://doi.org/10.1016/0304-3975(94)00089-2},
 publisher = {Elsevier}
}