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

Bonsangue, M., Rutten, J., & Silva, A. (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.