Zaslat SMS: Perspectives of system informatics : Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25-28, 1996 : proceedings / Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.).