Michiel Hazewinkel lecturing at CWI, Amsterdam, fall of 1982