T
[TW02] P. S. Thiagarajan and Igor Walukiewicz. An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. Information and Computation 179(2):230-249. Academic Press, December 2002. 
@article{icomp179(2)-TW,
  author =              {Thiagarajan, P. S. and Walukiewicz, Igor},
  title =               {An Expressively Complete Linear Time Temporal Logic
                         for {M}azurkiewicz Traces},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {179},
  number =              {2},
  pages =               {230-249},
  year =                {2002},
  month =               dec,
}
List of authors