Jensen, K. and Schmidt, E. M. (1985) “Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets”, DAIMI Report Series, 14(198). doi: 10.7146/dpb.v14i198.7470.