Derivation of a parallel algorithm for balancing binary trees | IEEE Journals & Magazine | IEEE Xplore