Perspectives of Systems Informatics 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers - Broy, Manfred; Broy, Manfred; Zamulin, Alexandre V.; Zamulin, Alexandre V. (Springer Berlin Heidelberg : Imprint: Springer, 2003)