Nygaard, Mikkel, and Glynn Winskel. 2003. “Domain Theory for Concurrency”. BRICS Report Series 10 (43). https://doi.org/10.7146/brics.v10i43.21815.