Software (theme 1)
Springer
L. de Alfaro
Lecture Notes in Computer Science
Conference on Foundations of Software Science and Computation Structures
Computer Security

Bonsangue, M.M, Rutten, J.J.M.M, & Silva, A.M. (2009). A Kleene theorem for polynomial coalgebras. In L de Alfaro (Ed.), Proceedings of Conference on Foundations of Software Science and Computation Structures 2009 (pp. 122–136). Springer.