F. Zuleger: "Bound Analysis of Imperative Programs with the Size-change Abstraction"; Talk: Software Systems Group Seminar, NICTA, Australien; 2011-07-19.