Samson Abramsky Cyril Gavoille Claude Kirchner Friedhelm Meyer auf der Heide Paul G. Spirakis Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I 6198 2010 http://dx.doi.org/10.1007/978-3-642-14165-2 978-3-642-14164-5 ICALP (1) Lecture Notes in Computer Science Springer db/conf/icalp/icalp2010-1.html