How Red Black trees were actually developed (eternallyconfuzzled.com)