“A symbolic-arithmetic for teaching double-black node removal in red-black trees”, Educ. Dimens., vol. 7, pp. 112–129, Dec. 2022, doi: 10.31812/educdim.7629.