Springer
Lecture Notes in Computer Science
Conference on Algebra and Coalgebra in Computer Science
Specification and Analysis of Embedded Systems

Bonchi, F., & Montanari, U. (2009). Coalgebraic Symbolic Semantics. In Proceedings of Conference on Algebra and Coalgebra in Computer Science 2009 (pp. 173–190). Springer.