現在「Java で学ぶアルゴリズムとデータ構造（ソフトバンク）」という本で
プログラムの勉強をしている工房です。
この本の中に「レッドブラックツリー」という、均衡のとれるツリー構造が
紹介されているのですが、この章を読んで初めて壁にぶつかった感じがします。

本の中では、レッドブラックツリーを実装するための How 的な事は
書かれているのですが
Why 的な「なぜ、こうすることで均衡の取れたツリーになるのか？」という
部分が詳しく書かれていないのです。

もし「レッドブラックツリー」に関して詳しく書かれている本を知っている方がいたら
教えてください。
よろしくおねがいします。