G. Winskel and M. Nielsen, “Models for Concurrency”, BRICS, vol. 1, no. 12, May 1994.