Nr. 198 (1985): PB-198 Pascal Semantics by a Combination of Denotational Semantics and High-level Petri nets