A tight upper bound for the path length of AVL trees
scientific article; zbMATH DE number 4145307