F. Nielson and H. R. Nielson, “From CML to process Algebras”, DPB, vol. 22, no. 433, Mar. 1993.