Since the question was asked "where do I find those CWI (MC) reports?"... CWI has a document search, but they don't make it easy to find. Here it is: https://ir.cwi.nl -- I haven't explored all the things it can look for, but it definitely can find documents by words of the title, or by author name. paul