Functorial Semantics of Rewrite Systems, appendix of Rewriting as a Unified Model of Concurrency, SRI (1990)

by J Meseguer