L. Kovacs: "Symbol Elimination in Program Analysis"; Talk: Helsinki Institute for Information Technology (HIIT), Helsinki, Finnland (invited); 2011-09-23.