Engberg, Uffe. 1990. “True Concurrency Can Be Traced”. DAIMI Report Series 19 (308). https://doi.org/10.7146/dpb.v19i308.6558.