M. Sinn: "Automated Complexity Analysis for Imperative Programs"; Supervisor, Reviewer: F. Zuleger, T. Vojnar; Institut für Informationssysteme, 2016.
http://publik.tuwien.ac.at/files/publik_257756.pdf