Title: Equivalence of operational and denotational semantics for a fragment of PASCAL