Mehlhorn, Kurt Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Tsakalidis, Athanasios K. Max Planck Society;
Mehlhorn, K., & Tsakalidis, A. K. (1986). An Amortized Analysis of Insertions into AVL-Trees. SIAM Journal on Computing, 15(1), 22-33. doi:10.1137/0215002.