P. D. Mosses, “Unified Algebras and Abstract Syntax”, BRICS, vol. 1, no. 5, Mar. 1994.