K. Jensen and E. M. Schmidt, “Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets”, DPB, vol. 14, no. 198, Jan. 1985.