Nielson, F.; Nielson, H. R. From CML to Process Algebras. DPB 1993, 22.