Nielsen, M., V. Sassone, and G. Winskel. “Relationships Between Models of Concurency”. DAIMI Report Series, vol. 22, no. 456, Dec. 1993, doi:10.7146/dpb.v22i456.6929.