Automata, Languages and Programming: 30th International Colloquium, ICALP 2003, Eindhoven, the Netherlands, June 30 - July 4, 2003. Proceedings
Baeten, Jos C.M ; Lenstra, Jan Karel ; Parrow, Joachim ; Woeginger, Gerhard J Baeten, Jos C. M. ; Lenstra, Jan Karel ; Parrow, Joachim ; Woeginger, Gerhard J.
Berlin, Heidelberg: Springer Berlin / Heidelberg 2003
Texto completo disponível