Thiagarajan, P. and Walukiewicz, I. (1996) “An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces”, BRICS Report Series, 3(62). doi: 10.7146/brics.v3i62.18563.