Sabine Le Borne, D. Cook: Construction of a discrete divergence-free basis through orthogonal factorization in H-arithmetic. Computing 81(4): 215-238 (2007)