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