William P. R. Mitchell, Harold Simmons: Monoid Based Semantics for Linear Formulas. J. Symb. Log. 67(2): 505-527 (2002)