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