Nielsen, Mogens, et al. “Relationships Between Models of Concurency”. DAIMI Report Series, vol. 22, no. 456, Dec. 1993, doi:10.7146/dpb.v22i456.6929.