k-protected vertices in binary search trees - Miklos Bona (2013)