Computer aided systems theory--EUROCAST '95 : a selection of papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995 : proceedings - Albrecht, R. F. (Rudolf F.), 1925-; Pichler, Franz, Ing., Dr. phil; Moreno-Díaz, Roberto (Lecture notes in computer science, 1996)