CSCI 220 (Fall 1998): Class Notes, Loop Invariants (III)
Image 8: Loop Invariants (III)