Software (theme 1)
Springer
D. Pattinson , L Schroeder
Coalgebraic Methods in Computer Science
Computer Security

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