Thiagarajan, P. S., and J. G. Henriksen. “Distributed Versions of Linear Time Temporal Logic: A Trace Perspective”. BRICS Report Series, vol. 5, no. 8, Jan. 1998, doi:10.7146/brics.v5i8.19280.