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