G. Winskel and M. Nielsen, “Models for Concurrency”, DPB, vol. 21, no. 429, Nov. 1992.