Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings - Bjørner, Dines; Broy, Manfred; Pottosin, Igor V. (Lecture notes in computer science, 1996)