Dines Bjørner Manfred Broy Igor V. Pottosin Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings Ershov Memorial Conference Lecture Notes in Computer Science 1181 Springer 1996 3-540-62064-8 db/conf/ershov/ershov1996.html