Perspectives of Systems Informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers - Amir Pnueli, Irina Virbitskaite, Andrei Voronkov ((Lecture Notes in Computer Science))