"Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 ... " - читать интересную книгу автора (Dines Bjorner, Manfred Broy, Alexandre V. Zamulin)