Jensen, K.; Schmidt, E. M. Pascal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets. DPB 1985, 14.