P. D. Mosses, “Unified Algebras and Action Semantics”, DPB, vol. 18, no. 272, May 1988.