Springer
Lecture Notes in Computer Science
Computer Security

Fiadeiro, J., Harman, N., Roggenbach, M., & Rutten, J. (2006). Proceedings of the first international workshop on Algebra and Coalgebra in Computer Science. Lecture Notes in Computer Science. Springer.