Алгоритм персистентного удаления узла в двоичном дереве

[Toolen]

Приветствую, коллеги! Пишу реализацию двоичного дерева с персистентными операциями, т.е. такими операциями которые исполняясь создают новую версию дерева и возвращают корень этой новой версии. Удалось реализовать вставку, но вот с удалением никак не могу сообразить, ситуацию усугубляет отсутствие каких-либо внятных примеров. Буду благодарен даже за приблизительный алгоритм. Спасибо!

[bin]

Пожалуйста, дайте точные определения "персистентных" вставки и удаления вершины в дерево/из дерева, тогда м.б. будет понятно, какой алгоритм Вам нужен.