Engberg, U. True Concurrency Can Be Traced. DPB 1990, 19.