Nielson, F., and H. R. Nielson. “From CML to Process Algebras”. DAIMI Report Series, vol. 22, no. 433, Mar. 1993, doi:10.7146/dpb.v22i433.6750.