Hansen, Niels Damgaard, and Kim Halskov Madsen. “Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets”. DAIMI Report Series 11, no. 152 (September 1, 1982). Accessed May 8, 2024. https://tidsskrift.dk/daimipb/article/view/7426.