K Klohs: "Validation of Data Flow Results for Program Modules"; Supervisor, Reviewer: U Kastens, J. Knoop; Universität Paderborn, Deutschland, 2009; oral examination: 2009-04-03.