Perspectives of system informatics : Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 : proceedings / - Bjørner, D.; Broy, M.; Zamulin, A. V. (Springer, 2000)