You are about to access our book library "Computer Aided Systems Theory - CAST '94: 4th International Workshop, Ottawa, Ontario, May 16 - 20, 1994. Selected Papers (Lecture Notes in Computer Science, 1105) full version" .