@book{8468, author = {International Workshop on Computer Aided Systems Theory and Ă–ren, Tuncer I., }, title = {Computer aided systems theory - CAST'94 / }, publisher = {Springer, }, year = {1996.}, series = {Lecture notes in computer science ; }, address = {Berlin : } }