Knots as processes: a new kind of invariant - L. G. Meredith; David F. Snyder (CoRR, 2010)

Representing operational semantics with enriched Lawvere theories. - Michael Stay; L. G. Meredith (CoRR, 2017)