ICALP 2001 Satellite Workshops proceedings of the Satellite Workshops of the 28th International Colloquium on Automata, Languages and Programming, Crete, Greece, 8-13 July 2001 - Baresi, Luciano (Elsevier Science B. V., 2001)