Jørgensen, J. B., and K. H. Mortensen. “Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets”. DAIMI Report Series, vol. 26, no. 513, Feb. 1997, doi:10.7146/dpb.v26i513.7042.