1. Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", CNR, Via G. Moruzzi 1, 56124 Pisa, Italy. maurice.terbeek@isti.cnr.it
2. Leiden Institute of Advanced Computer Science, Universiteit Leiden, P.O. Box 9512, 2300 RA Leiden, The Netherlands. kleijn@liacs.nl