Engberg, Uffe, Mogens Nielsen, and Glynn Winskel. “Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21--24)”. DAIMI Report Series 21, no. 392 (April 1, 1992). Accessed May 8, 2024. https://tidsskrift.dk/daimipb/article/view/6627.