Ehimwenma, Kennedy E., et al. “A Symbolic-Arithmetic for Teaching Double-Black Node Removal in Red-Black Trees”. Educational Dimension, vol. 7, Dec. 2022, pp. 112-29, https://doi.org/10.31812/educdim.7629.