M. Mukund and M. Nielsen, “CCS, Locations and Asynchronous Transition Systems”, DPB, vol. 21, no. 395, May 1992.