@article{bentonHyland03,author={Nick Benton and
Martin Hyland},title={Traced Premonoidal Categories},journal={{RAIRO} Theor. Informatics Appl.},volume={37},number={4},pages={273--299},year={2003},url={https://doi.org/10.1051/ita:2003020},doi={10.1051/ITA:2003020},}