Mosses, P. D. Abstract Semantic Algebras!. DPB 1982, 11.