"Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers " - читать интересную книгу автора (Dines Bjorner, Manfred Broy, Alexandre Zamulin)