Yngve Lamo, Michal Walicki. Combining Specification Formalisms in the ?General Logic? of Multialgebras. In Martin Wirsing, Dirk Pattinson, Rolf Hennicker, editors, Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers. Volume 2755 of Lecture Notes in Computer Science, pages 328-342, Springer, 2002. [doi]