Person. Arie Nicolaas Habermann PhD advisorEdsger W. Dijkstra PhD studentsPhilip Wadler PhDEindhoven University of Technology