Nygaard, M.; Winskel, G. Domain Theory for Concurrency. BRICS 2003, 10.