Mosses, P. D. Unified Algebras and Abstract Syntax. BRICS 1994, 1.