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 / - Pichler, Franz,; Moreno-Díaz, Roberto. (Lecture notes in computer science ;)