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

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