Luís Caires Giuseppe F. Italiano Luís Monteiro Catuscia Palamidessi Moti Yung Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings 2005 3580 3-540-27580-0 ICALP Lecture Notes in Computer Science Springer db/conf/icalp/icalp2005.html