Automata, Languages and Programming 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings - Díaz, Josep; Karhumäki, Juhani; Lepistö, Arto; Sannella, Donald (Springer Berlin Heidelberg, 2004)