Madhavan Mukund P. S. Thiagarajan Linear Time Temporal Logics over Mazurkiewicz Traces. 62-92 1996 conf/mfcs/1996 MFCS db/conf/mfcs/mfcs96.html#MukundT96 http://dx.doi.org/10.1007/3-540-61550-4_140