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