Engberg, U. “True Concurrency Can Be Traced”. DAIMI Report Series, vol. 19, no. 308, Apr. 1990, doi:10.7146/dpb.v19i308.6558.