Winskel, G., and M. Nielsen. “Models for Concurrency”. DAIMI Report Series, vol. 21, no. 429, Nov. 1992, doi:10.7146/dpb.v21i429.6743.