<e-mail>herman@cs.kun.nl</e-mail>
<url>http://www.cs.kun.nl/~herman</url>
<address>Faculteit NWI, KUN, Toernooiveld 1, 6525 ED Nijmegen, NL</address>
<e-mail>herman@cs.kun.nl</e-mail>
<url>http://www.cs.kun.nl/~herman</url>
<address>Faculteit NWI, KUN, Toernooiveld 1, 6525 ED Nijmegen, NL</address>