Coalgebraic Symbolic Semantics Filippo Bonchi Ugo Montanari.
By M. Almone, G. Conte Presented by Yinglei Song
Coalgebraic Symbolic Semantics