K. E. Ehimwenma, J. Wang, Z. Zheng, and H. Zhou, “A symbolic-arithmetic for teaching double-black node removal in red-black trees”, Educ. Dimens., vol. 7, pp. 112–129, Dec. 2022, doi: 10.31812/educdim.7629.