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