Michal Misiak. Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems. In José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas, editors, Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers. Volume 3423 of Lecture Notes in Computer Science, pages 144-161, Springer, 2004. [doi]
Abstract is missing.