N. D. Hansen and K. H. Madsen, “Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets”, DPB, vol. 11, no. 152, Sep. 1982.