P. S. Thiagarajan og I. Walukiewicz, “An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces”, BRICS, bd. 3, nr. 62, dec. 1996.