Winskel, Glynn, and Mogens Nielsen. 1993. “Models for Concurrency”. DAIMI Report Series 22 (463). https://doi.org/10.7146/dpb.v22i463.6936.