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. Proceedings of European Symposium on Programming 2013 (ESOP 22), 61–80.