Hypoellipticity and eigenvalue asymptotics - Rockland, Charles (Springer, 1975)