Tesis doctoral leída en el departamento de Informática de la Universidad de Oviedo