Contacts 09.07.2012. 13.34 Saturs 40th International Colloquium on Automata, Languages and Programming (ICALP 2013)