Department of Mathematics and Computer Science, Eindhoven University of Technology (The Netherlands)