Dietrich Kuske Rémi Morin Pomsets for Local Trace Languages. 187-224 2002 7 Journal of Automata, Languages and Combinatorics 2 db/journals/jalc/jalc7.html#KuskeM02