Automata, Languages, and Programming : 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I - Artur Czumaj, Kurt Mehlhorn, Andrew Pitts, Roger Wattenhofer ((Lecture Notes in Computer Science))