"Centre Mathematics and Computer Sciences (CWI)" . . .