A discrete divergence-free basis for finite element methods. - Xiu Ye; Charles A. Hall (Numer. Algorithms, 1997)