Perspectives of Systems Informatics : 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers - Manfred Broy, Alexandre V. Zamulin ((Lecture Notes in Computer Science))