Davide Vergni Istituto Applicazioni del Calcolo CNR Viale Manzoni, 30 I-00185 Roma, Italy Telefono: ++39 06 49937355 Fax: ++39 06 4404306 E-mail: