Artur Czumaj Kurt Mehlhorn Andrew M. Pitts Roger Wattenhofer Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II 7392 2012 Springer Lecture Notes in Computer Science http://dx.doi.org/10.1007/978-3-642-31585-5 978-3-642-31584-8 ICALP (2) db/conf/icalp/icalp2012-2.html