Computer aided systems theory : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 19 - 23, 2001 ; revised papers - Moreno-Díaz, Roberto (Herausgeber); EUROCAST (8 : 2001 : Las Palmas) (Lecture notes in computer science, 2001)