THIAGARAJAN, P.; WALUKIEWICZ, I. An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. BRICS Report Series, v. 3, n. 62, 2 Dec. 1996.