Computer aided systems theory - EUROCAST '93 : a selection of papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993 : proceedings - International Workshop on Computer Aided Systems Theory; Pichler, Franz, Ing., Dr. phil; Moreno-Díaz, Roberto (Lecture notes in computer science, 1994)