Automata, languages and programming 30th international colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30-July 4, 2003 : proceedings / - Baeten, J. C. M. (Lecture notes in computer science,)