Springer
Lecture Notes in Computer Science
European Symposium on Programming
Computer Security

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