CSCI 220 (Fall 1998): Class Notes, Loop Invariants (II)
Image 7: Loop Invariants (II)