Engberg, U. (1990) “True concurrency can be traced”, DAIMI Report Series, 19(308). doi: 10.7146/dpb.v19i308.6558.