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