Computer aided systems theory--EUROCAST 2001 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.; Buchberger, Bruno.; Freire, José-Luis, (Springer,)