Engberg, U., og M. Nielsen. “A Calculus of Communicating Systems With Label Passing”. DAIMI Report Series, bd. 15, nr. 208, maj 1986, doi:10.7146/dpb.v15i208.7559.