Title: Semantics and proof theory of PASCAL procedures