Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 :proceedings - Orejas, F.; Leeuwen, J. Van,; Spirakis P. G. (Springer, 2001)