Automata, languages and programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings - International Colloquium on Automata, Languages and Programming; Montanari, U. (Ugo); Rolim, José D. P.; Welzl, Emo (Lecture notes in computer science, 2000)