Computer Aided Systems Theory-Eurocast '91: A Selection of Papers from the Second International Workshop on Computer Aided Systems Theory Krems, Aust (Lecture Notes in Computer Science)