CSCI 220 (Fall 1998): Class Notes, Loop Invariants (I)
Image 6: Loop Invariants (I)