K R. Apt

• Semantics and proof theory of PASCAL procedures