An Extended Symbolic-Arithmetic Model forTeaching Double-Black Removal with Rotationin Red-Black Trees - E. Ehimwenma, Kennedy; Zhou, Hongyu; Wang, Junfeng; Zheng, Ze (International Journal of Mathematical Sciences and Computing, 2025)