Mosses, P. D. “Unified Algebras and Action Semantics”. DAIMI Report Series, vol. 18, no. 272, May 1988, doi:10.7146/dpb.v18i272.7626.