Michele Bugliesi Bart Preneel Vladimiro Sassone Ingo Wegener Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 4052 2006 3-540-35907-9 ICALP (2) Lecture Notes in Computer Science Springer db/conf/icalp/icalp2006-2.html