Lec08-balanced-BST-AVL-RB-annotated.pdf