Automata, languages, and programming 39th international colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012 : proceedings / - Czumaj, Artur. (Springer, 2012)