Peter D. Mosses Unified Algebras and Action Semantics. 17-35 1989 conf/stacs/1989 STACS db/conf/stacs/stacs89.html#Mosses89 http://dx.doi.org/10.1007/BFb0028970