Engberg, U. “Partial Orders and Fully Abstract Models for Concurrency”. DAIMI Report Series, vol. 19, no. 307, Mar. 1990, doi:10.7146/dpb.v19i307.6555.