1. V.M. Abrusci, Sequent calculus and phase semantics for pure noncommutative classical propositional linear logic, Journal of Symbolic Logic 56 (1991), 1403–1451.
2. ....., Lambek calculus, cyclic multiplicative — additive linear logic, non-commutative multiplicative — additive linear logic: language and sequent calculus; in: V.M. Abrusci and C. Casadio (eds), Proofs and linguistic categories, Proceedings 1996 Roma Workshop, Cooperativa Libraria Universitaria Editrice Bolognia (1996), 21–48.
3. K. Ajdukiewicz, Die syntaktische Konnexität, Studia Philosophica 1 (1937), 1–27. Translated in: S. McCall, Polish Logic 1920-1939, Claredon Press, Oxford 1967.
4. Y. Bar-Hillel, A quasiarithmetical notation for syntactic description, Language 29 (1953), 47–58.
5. M. Barr, *-Autonomous categories, Springer LNM 752 (1979).