J. Boyar and K. S. Larsen, “Efficient Rebalancing of Chromatic Search Trees”, DPB, vol. 21, no. 409, Aug. 1992.