Hansen, Niels Damgaard, and Kim Halskov Madsen. 1982. “Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets”. DAIMI Report Series 11 (152). https://doi.org/10.7146/dpb.v11i152.7426.