Hansen, N. D., and K. H. Madsen. “Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets”. DAIMI Report Series, vol. 11, no. 152, Sept. 1982, doi:10.7146/dpb.v11i152.7426.