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 - Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire ((Lecture Notes in Computer Science))