CSCI 220 (Fall 1998): Class Notes, Proving Termination
Image 3