Springer
M.M. Bonsangue (Marcello)
Lecture Notes in Computer Science
Coalgebraic Methods in Computer Science
Computer Security

Bonsangue, M. (Ed.). (2014). Coalgebraic Methods in Computer Science, revised selected
papers of the 12th IFIP WG 1.3 International Workshop, CMCS 2014. In M. Bonsangue (Ed.), Proceedings of Coalgebraic Methods in Computer Science 2014 (CMCS 12) (pp. 1–245). Springer.