CMSC 341 (Data Structures)
The complexity and correctness of algorithms (with binary trees as an example)