Proof Techniques

Induction, loop invariants, exchange arguments — patterns used in algorithm proofs.