Heisenberg calculus and spectral theory of hypoelliptic operators on Heisenberg manifolds - Ponge, Raphael, 1972- (Memoirs of the American Mathematical Society, 2008)