Nielson, F. and Nielson, H. R. (1993) “From CML to process Algebras”, DAIMI Report Series, 22(433). doi: 10.7146/dpb.v22i433.6750.