P. D. Mosses, “Unified Algebras and Abstract Syntax”, BRICS, bd. 1, nr. 5, mar. 1994.