M. Sinn, H. Veith, F. Zuleger:
"Difference Constraints: An adequate Abstraction for Complexity Analysis of Imperative Programs";
Talk: International Conference on Formal Methods in Computer-Aided Design (FMCAD), Austin, Texas, USA; 2015-09-27 - 2015-09-30; in: "FMCAD", (2015), 144 - 151.