Paul Gastin Brigitte Rozoy The Poset of Infinitary Traces. 101-121 1993 120 Theor. Comput. Sci. 1 db/journals/tcs/tcs120.html#GastinR93