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