Automata, Languages and Programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings - Josep Díaz, Juhani Karhumäki, Arto Lepistö, Donald Sannella ((Lecture Notes in Computer Science))