Automata, Languages and Programming 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings - Larsen, Kim G.; Larsen, Kim G.; Skyum, Sven; Skyum, Sven; Winskel, Glynn; Winskel, Glynn (Springer Berlin Heidelberg : Imprint: Springer, 1998)