Perspectives of System Informatics : 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, Revised Papers - Dines Bjørner, Manfred Broy, Alexandre V. Zamulin ((Lecture Notes in Computer Science))