A symbolic-arithmetic for teaching double-black node removal in red-black trees. (2022). Educational Dimension, 7, 112-129. https://doi.org/10.31812/educdim.7629