Equivalence of operational and denotational semantics for a fragment of Pascal - Apt, Krzysztof R. 1949- (1976)