Software (theme 1)
Springer
Lecture Notes in Computer Science
European Symposium on Programming
Computer Security

Jeannin, J, Kozen, D, & Silva, A.M. (2013). Language constructs for non-well-founded computations. In Proceedings of European Symposium on Programming 2013 (ESOP 22) (pp. 61–80). Springer.