Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Mehlhorn, K. (1982). A Partial Analysis of Height-Balanced Trees Under Random Insertions and Deletions. SIAM Journal on Computing, 11, 748-760.