Automata, Languages and Programming : 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings - Kim G. Larsen, Sven Skyum, Glynn Winskel ((Lecture Notes in Computer Science))