Centrum voor Wiskunde en Informatica (Center for Mathematics and Computer Science), Amsterdam, Netherlands.