L. Daviaud, T. Colcombet, F. Zuleger:
"Automata and Program Analysis";
Talk: Fundamentals of Computation Theory, Bordeaux, France (invited); 2017-09-11 - 2017-09-13; in: "Fundamentals of Computation Theory - 21st International Symposium, FCT 2017", (2017), 3 - 10.