Mukund, M., and M. Nielsen. “CCS, Locations and Asynchronous Transition Systems”. DAIMI Report Series, vol. 21, no. 395, May 1992, doi:10.7146/dpb.v21i395.6630.