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

de Boer, F., Clarke, D., & Johnsen, E. B. (2007). A Complete Guide to the Future. In Programming Languages and Systems (ESOP) (pp. 316–330). Springer.