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