Jensen, Kurt, and Erik Meineche Schmidt. “Pascal Semantics by a Combination of Denotational Semantics and High-Level Petri Nets”. DAIMI Report Series 14, no. 198 (January 1, 1985). Accessed February 26, 2026. https://tidsskrift.dk/daimipb/article/view/7470.