Romeo Rizzi
BRICS1 Department of Computer Science University of Aarhus Ny Munkegade DK-8000 Aarhus C, Denmark e-mail: romeo@cwi.nl