I have to rethink this page: I just moved in (October 28, 2005). At present all I can offer, is a somewhat updated version of the home page I used to maintain when I was still working at CWI in Amsterdam (1985–2001).