U. Engberg, “True concurrency can be traced”, DPB, vol. 19, no. 308, Apr. 1990.