Winskel, G.; Nielsen, M. Models for Concurrency. BRICS 1994, 1.