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(4), 748-760. doi:10.1137/0211061.