Winskel, G.; Nielsen, M. Models for Concurrency. DPB 1993, 22.