1. R. Alur, D. Peled, W. Penczek, Model-checking of causality properties, in: Proc. LICS’95, IEEE Computer Society Press, Silverspring, MD, 1995, pp. 90–100.
2. Ch. Choffrut, Free partially commutative monoids, Technical Report 86/20, LITP, Université Paris 7 (France), 1986.
3. A remark on the representation of trace monoids;Choffrut;Semigroup Forum,1990
4. On the starheight of some rational subsets closed under partial commutations;Choffrut;Inform. Comput.,1993
5. Combinatorics in trace monoids I;Choffrut,1995