A Symbolic-Arithmetic for Teaching Double-Black Node Removal in Red-Black Trees. Educ. Dimens. 2022, 7, 112-129. https://doi.org/10.31812/educdim.7629.