Howard C. Elman, Xuejun Zhang: Algebraic Analysis of the Hierarchical Basis Preconditioner. SIAM J. Matrix Anal. Appl. 16(1): 192-206 (1995)