Nygaard, M., & Winskel, G. (2003). Domain Theory for Concurrency. BRICS Report Series, 10(43). https://doi.org/10.7146/brics.v10i43.21815