Jos C. M. Baeten Jan Karel Lenstra Joachim Parrow Gerhard J. Woeginger Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings ICALP Lecture Notes in Computer Science 2719 Springer 2003 3-540-40493-7 db/conf/icalp/icalp2003.html