Hansen, N. D.; Madsen, K. H. Formal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets. DPB 1982, 11.