If you mean functional red-black trees in general, then there's http://matt.might.net/articles/red-black-delete/