Stav dette: An Axiomatic Definition of the Programming Language PASCAL