Lars Arge Christian Cachin Tomasz Jurdzinski Andrzej Tarlecki Automata, Languages and Programming, 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007, Proceedings ICALP Lecture Notes in Computer Science 4596 Springer 2007 978-3-540-73419-2 db/conf/icalp/icalp2007.html