Introduction

Syntax: arithmetic and assertions

The Hoare Axioms

Sample Proofs

Soundndess of the rules

Partial and Complete Correctness

References