Engberg, Uffe. “Partial Orders and Fully Abstract Models for Concurrency”. DAIMI Report Series 19, no. 307 (March 1, 1990). Accessed April 24, 2024. https://tidsskrift.dk/daimipb/article/view/6555.