Automata, languages and programming Proceedings - International Colloquium on Automata, languages and programming(28th Crete 2001); Orejas, Fernando., ed (Berlin Springer-Verlag, 2001)