Engberg, U., and M. Nielsen. “A Calculus of Communicating Systems With Label Passing”. DAIMI Report Series, vol. 15, no. 208, May 1986, doi:10.7146/dpb.v15i208.7559.