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