F. Zuleger: "Termination and Bound Analysis of Imperative Programs"; Talk: Workshop on Logic and Computer Science, Vienna; 2011-03-24 - 2011-03-25.