Thiagarajan, P. S., og Igor Walukiewicz. “An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces”. BRICS Report Series, bd. 3, nr. 62, december 1996, doi:10.7146/brics.v3i62.18563.