Perspectives of System Informatics Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 Proceedings - Bjørner, Dines; Bjørner, Dines; Broy, Manfred; Broy, Manfred; Zamulin, Alexandre V.; Zamulin, Alexandre V. (Springer Berlin Heidelberg : Imprint: Springer, 2000)