Engberg, U. (1990) “Partial orders and fully abstract models for concurrency”, DAIMI Report Series, 19(307). doi: 10.7146/dpb.v19i307.6555.