(1)
Thiagarajan, P. S.; Walukiewicz, I. An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. BRICS 1996, 3.