Computer Science - Theory and Applications : 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings - Andrei A. Bulatov, Arseny M. Shur ((Lecture Notes in Computer Science))