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. Proceedings of Conference on Algebra and Coalgebra in Computer Science 2009, 173–190.