Brown, C., and D. Gurr. “Relations and Non-Commutative Linear Logic”. DAIMI Report Series, vol. 20, no. 372, Nov. 1991, doi:10.7146/dpb.v20i372.6604.