Springer
D. Pattinson , L Schroeder
Coalgebraic Methods in Computer Science
Computer Security

Bonsangue, M., Rutten, J., & Winter, J. (2012). Defining context-free power series coalgebraically. . In D. Pattinson & L. Schroeder (Eds.), Proceedings of Coalgebraic Methods in Computer Science 2012. Springer.