Computer Science - Theory and Applications : Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings - Volker Diekert, Mikhail V. Volkov, Andrei Voronkov ((Lecture Notes in Computer Science))