"Centre Mathematics and Computer Sciences (CWI)" .