Как ни странно не могу найти. В книге "Кормен Алгоритмы анализ проектирование" на которую все лекторы и блогеры ссылаются. по-моему рассмотрен лишь случай когда у удаляемого узла один реальный(не лист) потомок.
а если два?
или я чего-то недопонимаю?

нашёл вроде