T. Inagaki, and G. Johannsen. Computer aided systems theory: A selection of papers from the Second International Workshop on Computer Aided Systems Theory Krems Austria April 15 - 19 1991 ; proceedings, volume 585 of Lecture notes in computer science, Springer, (1992)