Type de document :
Communication dans un congrès
Kim G. Larsen and Sven Skyum and Glynn Winskel. International Colloquium on Automata, Languages, and Programming - ICALP'98, Jul 1998, Aalborg, Denmark, Springer, 1443, pp.507-517, 1998, Lecture Notes in Computer Science