P. S. Thiagarajan Igor Walukiewicz An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. 230-249 2002 179 Inf. Comput. 2 http://dx.doi.org/10.1006/inco.2001.2956 db/journals/iandc/iandc179.html#ThiagarajanW02