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