CSCI 220 (Fall 1998): Class Notes, Correctness of Recursive Algorithms
Image 4: Correctness of Recursive Algorithms