%0 Book
%A  4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001. Dines Bjørner ... (eds.).
%T Perspectives of system informatics :
%U /book/90095546/Perspectives-of-system-informatics/