William P. R. Mitchell, Harold Simmons: Monoid Based Semantics for Linear Formulas. J. Symb. Log. 66(4): 1597-1619 (2001)