Computer Aided Systems Theory - EUROCAST '97 : A Selection of Papers from the Sixth International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings - Franz Pichler, Roberto Moreno-Díaz ((Lecture Notes in Computer Science))