Winskel, G.; Nielsen, M. Models for Concurrency. DPB 1992, 21.