Mehlhorn, K., & Tsakalidis, A. K. (1986). An Amortized Analysis of Insertions into AVL-Trees. SIAM Journal on Computing, 15, 22-33.