@article{Joyal_1996,
    doi = {10.1017/s0305004100074338},
    url = {https://doi.org/10.1017%2Fs0305004100074338},
    year = {1996},
    month = {apr},
    publisher = {Cambridge University Press ({CUP})},
    volume = {119},
    number = {3},
    pages = {447--468},
    author = {Andr{\'{e}} Joyal and Ross Street and Dominic Verity},
    title = {Traced monoidal categories},
    journal = {Mathematical Proceedings of the Cambridge Philosophical Society}
}

@article{Joyal_1996, doi = {10.1017/s0305004100074338}, url = {https://doi.org/10.1017%2Fs0305004100074338}, year = {1996}, month = {apr}, publisher = {Cambridge University Press ({CUP})}, volume = {119}, number = {3}, pages = {447--468}, author = {Andr{\'{e}} Joyal and Ross Street and Dominic Verity}, title = {Traced monoidal categories}, journal = {Mathematical Proceedings of the Cambridge Philosophical Society} }