M. Mukund og M. Nielsen, “CCS, Locations and Asynchronous Transition Systems”, DPB, bd. 21, nr. 395, maj 1992.