K R. Apt

• A sound and complete Hoare-like system for a fragment of PASCAL