M. Nygaard and G. Winskel, “Domain Theory for Concurrency”, BRICS, vol. 10, no. 43, Dec. 2003.