Brown, C.; Gurr, D. Relations and Non-Commutative Linear Logic. DPB 1991, 20.