Constructing Red−Black Trees - Hinze, R (Proceedings of the Workshop on Algorithmic Aspects of Advanced Programming Languages (WAAAPL' 99), 1999)