Departament Langages et Systèmesde Programmation, Université de Sevilla E-mail: ceballos (a) lsi. us. es Téléphone: +34 954553865