B. Burgstaller: "Symbolic Evaluation of Imperative Programming Languages"; Supervisor, Reviewer: J. Blieberger, B. Gramlich; 183, 2005.