T. Pani: "Loop Patterns in C Programs"; Supervisor: F. Zuleger, H. Veith; Fakultät für Informatik der Technischen Universität Wien, 2013.