G. Winskel and M. Nielsen, “Models for Concurrency”, DPB, vol. 22, no. 463, Nov. 1993.