M. Nygaard og G. Winskel, “Domain Theory for Concurrency”, BRICS, bd. 10, nr. 43, dec. 2003.